Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gramlich, Bernhard - Theoretische Informatik und Logik, Technische Universität Wien
Outermost Termination via Contextual Dependency Pairs Bernhard Gramlich
On Operational Termination of Deterministic Conditional Rewrite Systems
Submitted to the International Conference on Rewriting Techniques and Applications http://rewriting.loria.fr/rta/
VMTLA Modular Termination Laboratory Felix Schernhammer and Bernhard Gramlich
Transformations of Conditional Rewrite Systems Karl Gmeiner and Bernhard Gramlich
Transformations of Conditional Rewrite Systems (Extended Abstract)
On Proving and Characterizing Operational Termination of Deterministic Conditional
Termination of Lazy Rewriting Revisited Felix Schernhammer and Bernhard Gramlich
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
On Some Implementation Aspects of VMTL Felix Schernhammer, Bernhard Gramlich
Generalizing Newman's Lemma for Left-Linear Rewrite Systems
