Searching for "Constructive Rewriting." – sorted by Relevance.
-
Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended
- Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic 1 Extended
- Cited by 3 (0 self) – Add To MetaCart
-
Preserving Confluence for Rewrite Systems with Built-in Operations
- . We show how a canonical simplification system can be constructed for such rewrite systems with built
- Cited by 2 (2 self) – Add To MetaCart
-
Encoding the Hydra Battle as a rewrite system
- constitutes the least upper bound. Contradicting this intuition, we construct here a rewrite system which
- Cited by 3 (0 self) – Add To MetaCart
-
Rewriting systems for Coxeter groups
- their inverses. Constructions of finite complete rewriting systems are also given for any Coxeter group G
- Cited by 6 (2 self) – Add To MetaCart
-
Non-computational Equations and Rewriting Techniques
- orderings, critical pair criterion, and completion give us a way to construct rewrite system deciding
- Add To MetaCart
-
Reactive Systems over Cospans
- in Graph yields Ehrig and König’s [5] construction of rewriting via borrowed contexts – which confirms
- Cited by 18 (2 self) – Add To MetaCart
-
The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable
- -mail: sv@(email omitted);) Abstract. We construct a finite linear finitely terminating rewrite rule system
- Cited by 6 (1 self) – Add To MetaCart
-
Data Flow Testing of Service-Oriented Workflow Applications
- the mathematical definitions of XPath constructs as rewriting rules, and propose a data structure called XPath
- Cited by 8 (5 self) – Add To MetaCart
-
Rewrite Closures for Ground and Cancellative AC Theories
- of constructing a \convergent system", called a rewrite closure, for a set of ground (directed and undirected
- Cited by 1 (1 self) – Add To MetaCart
-
A Cross-Language Approach to Historic Document Retrieval
- in finding spelling variants. Braun [1] used (again, manually constructed) rewrite rules, similar to phonetic
- Cited by 1 (0 self) – Add To MetaCart

