Bernhard Gramlich

Publication Activity (10 Years)

Years Active: 1987-2012
Publications (10 Years): 0

Top Venues

TAMC

RTA

Theor. Comput. Sci.

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. RTA (2012)
Eugen Jiresch, Bernhard Gramlich
Realizing Monads in Interaction Nets via Generic Typed Rules. TAMC (2012)
Bernhard Gramlich
Modularity in term rewriting revisited. Theor. Comput. Sci. 464 (2012)
Felix Schernhammer, Bernhard Gramlich
Characterizing and proving operational termination of deterministic conditional term rewriting systems. J. Log. Algebraic Methods Program. 79 (7) (2010)
María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas
On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theor. Comput. Sci. 411 (2) (2010)
Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer
On (Un)Soundness of Unravelings. RTA (2010)
Bernhard Gramlich, Felix Schernhammer
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns IWS (2010)
Felix Schernhammer, Bernhard Gramlich
VMTL-A Modular Termination Laboratory. RTA (2009)
Bernhard Gramlich, Felix Schernhammer
Extending Context-Sensitivity in Term Rewriting WRS (2009)
Karl Gmeiner, Bernhard Gramlich
Transformations of Conditional Rewrite Systems Revisited. WADT (2008)
Felix Schernhammer, Bernhard Gramlich
Termination of Lazy Rewriting Revisited. Electron. Notes Theor. Comput. Sci. 204 (2008)
María Alpuente, Bernhard Gramlich, Alicia Villanueva
A Framework for Timed Concurrent Constraint Programming with External Functions. Electron. Notes Theor. Comput. Sci. 188 (2007)
Bernhard Gramlich, Salvador Lucas
Generalizing Newman's Lemma for Left-Linear Rewrite Systems. RTA (2006)
Bernhard Gramlich
Strategic Issues, Problems and Challenges in Inductive Theorem Proving. Electron. Notes Theor. Comput. Sci. 125 (2) (2005)
Bernhard Gramlich, Salvador Lucas
Reduction strategies in rewriting and programming. J. Symb. Comput. 40 (1) (2005)
Bernhard Gramlich, Salvador Lucas
Preface: 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings. Electron. Notes Theor. Comput. Sci. 86 (4) (2003)
María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas
Improving On-Demand Strategy Annotations. LPAR (2002)
Bernhard Gramlich, Reinhard Pichler
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations. CADE (2002)
Bernhard Gramlich, Salvador Lucas
Simple termination of context-sensitive rewriting. ACM SIGPLAN Workshop on Rule-Based Programming (2002)
Bernhard Gramlich, Salvador Lucas
Modular termination of context-sensitive rewriting. PPDP (2002)
Bernhard Gramlich, Salvador Lucas
Preface. Electron. Notes Theor. Comput. Sci. 70 (6) (2002)
Bernhard Gramlich, Salvador Lucas
1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface. Electron. Notes Theor. Comput. Sci. 57 (2001)
Maria Paola Bonacina, Bernhard Gramlich
Preface: STRATEGIES 2001. Electron. Notes Theor. Comput. Sci. 58 (2) (2001)
Bernhard Gramlich
On interreduction of semi-complete term rewriting systems. Theor. Comput. Sci. 258 (1-2) (2001)
Bernhard Gramlich, Hélène Kirchner, Frank Pfenning
Editorial: Strategies in Automated Deduction. Ann. Math. Artif. Intell. 29 (1-4) (2000)
Bernhard Gramlich
Simplifying termination proofs for rewrite systems by preprocessing. PPDP (2000)
Bernhard Gramlich
Modular aspects of rewrite-based specifications. WADT (1997)
Bernhard Gramlich, Claus-Peter Wirth
Confluence of Terminating Conditional Rewrite Systems Revisited. RTA (1996)
Bernhard Gramlich
On Proving Termination by Innermost Termination. RTA (1996)
Bernhard Gramlich
Confluence without Termination via Parallel Critical Pairs. CAAP (1996)
Bernhard Gramlich
On Termination and Confluence Properties of Disjoint and Constructor-Sharing Conditional Rewrite Systems. Theor. Comput. Sci. 165 (1) (1996)
Bernhard Gramlich
Abstract Relations between Restricted Termination and Confluence Properties of Rewrite Systems. Fundam. Informaticae 24 (1/2) (1995)
Aart Middeldorp, Bernhard Gramlich
Simple termination is difficult. Appl. Algebra Eng. Commun. Comput. 6 (1995)
Bernhard Gramlich
Generalized Sufficient Conditions for Modular Termination of Rewriting. Appl. Algebra Eng. Commun. Comput. 5 (1994)
Bernhard Gramlich
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. ALP (1994)
Bernhard Gramlich
A Note on a Parameterized Version of the Well-Founded Induction Pricible. Bull. EATCS 52 (1994)
Claus-Peter Wirth, Bernhard Gramlich
A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications. J. Symb. Comput. 17 (1) (1994)
Claus-Peter Wirth, Bernhard Gramlich
On Notions of Inductive Validity for First-Oder Equational Clauses. CADE (1994)
Bernhard Gramlich
On Termination and Confluence of Conditional Rewrite Systems. CTRS (1994)
Aart Middeldorp, Bernhard Gramlich
Simple Termination is Difficult. RTA (1993)
Bernhard Gramlich
Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems. CTRS (1992)
Claus-Peter Wirth, Bernhard Gramlich
A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications. CTRS (1992)
Bernhard Gramlich
Generalized Sufficient Conditions for Modular Termination of Rewriting. ALP (1992)
Bernhard Gramlich
Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems. LPAR (1992)
Bernhard Gramlich
UNICOM: A Refined Completion Based Inductive Theorem Prover. CADE (1990)
Bernhard Gramlich
Completion Based Inductive Theorem Proving: An Abstract Framework and its Applications. ECAI (1990)
Jürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach
TRSPEC: A Term Rewriting Based System for Algebraic Specifications. CTRS (1987)

Bernhard Gramlich.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernhard Gramlich