11740 search results - page 85 / 2348 » More Problems in Rewriting |
99
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
73
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
FLOPS
2004
Springer
15 years 6 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
118
Voted
RTA
2004
Springer
15 years 6 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
107
Voted
IEEEICCI
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we focus on lexical semantics, a key issue in Natural Language Processing (NLP) that tends to converge with conceptual Knowledge Representation (KR) and ontologies....