Searching for "Constructive Rewriting." – sorted by Relevance.
72 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
