Searching for authors named Bernhard Gramlich – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
A Note on a Parameterized Version of the Well-Founded Induction Principle
- …A Note on a Parameterized Version of the Well-Founded Induction Principle Bernhard Gramlich…
- Add To MetaCart
-
Confluence without Termination via Parallel Critical Pairs
- …Confluence without Termination via Parallel Critical Pairs Bernhard Gramlich Fachbereich…
- Cited by 8 (3 self) – Add To MetaCart
-
On Interreduction of Semi-Complete Term Rewriting Systems
- …On Interreduction of Semi-Complete Term Rewriting Systems Bernhard Gramlich Technical Report E1852…
- Cited by 1 (0 self) – Add To MetaCart
-
Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems
- …Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems Bernhard…
- Cited by 25 (4 self) – Add To MetaCart
-
A structural analysis of modular termination of term rewriting systems
- …A Structural Analysis of Modular Termination of Term Rewriting Systems Bernhard Gramlich…
- Cited by 9 (4 self) – Add To MetaCart
-
On Termination and Confluence of Conditional Rewrite Systems
- …On Termination and Confluence of Conditional Rewrite Systems Bernhard Gramlich ? Fachbereich…
- Cited by 6 (2 self) – Add To MetaCart
-
Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems
- …Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems Bernhard…
- Cited by 13 (4 self) – Add To MetaCart
-
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems
- …On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems Bernhard…
- Cited by 5 (0 self) – Add To MetaCart
-
On Proving Termination by Innermost Termination
- …On Proving Termination by Innermost Termination Bernhard Gramlich ? INRIA Lorraine, 615, rue du…
- Cited by 18 (0 self) – Add To MetaCart
-
On Termination and Confluence Properties of Disjoint and Constructor-Sharing Conditional Rewrite Systems
- … Systems ? Bernhard Gramlich 1;2 Fachbereich Informatik, Universitat Kaiserslautern, Postfach 3049, D…
- Cited by 10 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
