„rewrite system“
Suchergebnisse
1.000+ Treffer
-
Automated complexity analysis of rewrite systems
-
Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
-
A term rewriting technique for decision graphs
-
New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
-
Canonical Conditional Rewrite Systems Containing Extra Variables
-
Transforming infinite rewrite systems into finite rewrite systems by embedding techniques
-
An Application of Klop's Counterexample to a Higher-Order Rewrite System
-
New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
-
Reachability Problems – 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
-
Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
-
RRLab – Rewrite Rule Labor
-
Dictionary Alignment by Rewrite-based Entry Translation
-
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules
-
Containment of Regular Path Queries Under Path Constraints
-
Objects and Subtyping in the Lambda-Pi-Calculus Modulo
-
Z; Syntax-Free Developments
-
An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems
-
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
-
Confluence Competition 2018
-
Confluence of Prefix-Constrained Rewrite Systems