Bernhard Gramlich On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. [Citation Graph (0, 0)][DBLP] ALP, 1994, pp:186-203 [Conf]
Bernhard Gramlich Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] CTRS, 1992, pp:128-142 [Conf]
Bernhard Gramlich Completion Based Inductive Theorem Proving: An Abstract Framework and its Applications. [Citation Graph (0, 0)][DBLP] ECAI, 1990, pp:314-319 [Conf]
Bernhard Gramlich A Note on a Parameterized Version of the Well-Founded Induction Pricible. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1994, v:52, n:, pp:274-277 [Journal]
Bernhard Gramlich Strategic Issues, Problems and Challenges in Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:2, pp:5-43 [Journal]
Bernhard Gramlich, Salvador Lucas 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
Bernhard Gramlich Abstract Relations between Restricted Termination and Confluence Properties of Rewrite Systems. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1995, v:24, n:1/2, pp:2-23 [Journal]
Bernhard Gramlich On interreduction of semi-complete term rewriting systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:258, n:1-2, pp:435-451 [Journal]
Bernhard Gramlich On Termination and Confluence Properties of Disjoint and Constructor-Sharing Conditional Rewrite Systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:165, n:1, pp:97-131 [Journal]
Bernhard Gramlich, Salvador Lucas 1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:57, n:, pp:- [Journal]