Bernhard Gramlich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
1990–2012
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | TAMC | Realizing Monads in Interaction Nets via Generic Typed Rules. | Eugen Jiresch, Bernhard Gramlich |
| 2002 | CADE | Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations. | Bernhard Gramlich, Reinhard Pichler |
| 2002 | LPAR | Improving On-Demand Strategy Annotations. | Mara Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas |
| 2002 | PPDP | Modular termination of context-sensitive rewriting. | Bernhard Gramlich, Salvador Lucas |
| 2000 | PPDP | Simplifying termination proofs for rewrite systems by preprocessing. | Bernhard Gramlich |
| 1994 | CADE | On Notions of Inductive Validity for First-Oder Equational Clauses. | Claus-Peter Wirth, Bernhard Gramlich |
| 1992 | LPAR | Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems. | Bernhard Gramlich |
| 1990 | CADE | UNICOM: A Refined Completion Based Inductive Theorem Prover. | Bernhard Gramlich |
| 1990 | ECAI | Completion Based Inductive Theorem Proving: An Abstract Framework and its Applications. | Bernhard Gramlich |