Bibtex-entries of papers (co-)authored/edited by Bernhard Gramlich
% International Conferences and Workshops
@InProceedings{gmeiner-gramlich-schernhammer-rta12,
author = {Karl Gmeiner and Bernhard Gramlich and Felix Schernhammer},
title = {On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems},
booktitle = {Proc. 23rd International Conference on Rewriting
Techniques and Applications (RTA 2012), Nagoya, Japan, May 28 - June 2, 2012},
month = {May/June},
year = {2012, to appear},
editor = {Ashish Tiwari},
series = {LIPIcs (Leibniz International Proceedings in Informatics)}
}
@InProceedings{jiresch-gramlich-tamc12,
author = {Eugen Jiresch and Bernhard Gramlich},
title = {Realizing Monads in Interaction Nets via Generic Typed Rules},
booktitle = {Proc. 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012),
Beijing, China, May 16-21, 2012},
month = may,
year = 2012,
editor = {Manindra Agrawal and S.~Barry Cooper and Angsheng Li}
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag}
}
@InProceedings{gramlich-gyoergyfalvay-wst12,
author = {Bernhard Gramlich and Klaus Györgyfalvay},
title = {On Modularity of Termination Properties of Rewriting under Strategies},
booktitle = {Proc. 12th International Workshop on Termination (Extended Abstracts) (WST 2012)
Obergurgl, Austria, February 19-23, 2012}
pages = {59--63}
month = feb,
year = {2012},
editor = {Georg Moser}
}
@InProceedings{gmeiner-gramlich-schernhammer-rta10,
author = {Karl Gmeiner and Bernhard Gramlich and Felix Schernhammer},
title = {On (Un)Soundness of Unravelings},
booktitle = {Proc.\ 21st International Conference on Rewriting Techniques and Applications (RTA 2010),
July 11-13, 2010, Edinburgh, Scotland, UK},
month = jul,
year = 2010,
editor = {Christopher Lynch}
series = {LIPIcs (Leibniz International Proceedings in Informatics)}
}
@InProceedings{gramlich-schernhammer-wst10,
author = {Bernhard Gramlich and Felix Schernhammer},
title = {Outermost Termination via Contextual Dependency Pairs},
booktitle = {Proc.\ 11th International Workshop on Termination (WST 2010),
Edinburgh, Scotland, UK, July 14-15, 2010},
month = jul,
year = 2010,
editor = {Peter Schneider-Kamp}
}
@InProceedings{gramlich-schernhammer-iws10,
author = {Bernhard Gramlich and Felix Schernhammer},
title = {Termination of Rewriting with - and Automated Synthesis of - Forbidden Patterns},
booktitle = {Prelim.\ Proc.\ 1st International Workshop on Strategies in Rewriting, Proving,
and Programming (IWS 2010), Edinburgh, Scotland, UK, July 9, 2010},
pages = {13--17},
month = jul,
year = 2010,
editor = {H{\'e}l{\`e}ne Kirchner and C{\'e}sar Mu{\~n}oz}
}
@InProceedings{schernhammer-gramlich-rta09,
author = {Felix Schernhammer and Bernhard Gramlich},
title = {VMTL -- A Modular Termination Laboratory},
booktitle = {Proc.\ 20th International Conference on Rewriting Techniques and Applications (RTA 2009),
Bras{\'\i}lia, Brazil, June 29 - July 1, 2009},
pages = {285--294},
month = jun,
year = 2009,
editor = {Ralf Treinen}
volume = {5595},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag}
}
@InProceedings{schernhammer-gramlich-wrs09,
author = {Bernhard Gramlich and Felix Schernhammer},
title = {Extending Context-Sensitivity in Term Rewriting},
booktitle = {Prelim.\ Proc.\ 9th International Workshop on Reduction Strategies in
Rewriting and Programming (WRS 2009),
Bras{\'\i}lia, Brazil, June 28, 2009},
pages = {25--29},
month = jun,
year = 2009,
editor = {Maribel Fernandez}
}
@InProceedings{schernhammer-gramlich-wst09,
author = {Felix Schernhammer and Bernhard Gramlich},
title = {On Some Implementation Aspects of VMTL},
booktitle = {Proc.\ 10th International Workshop on Termination (WST 2009),
Leipzig, Germany, June 3-5, 2009},
pages = {72--75},
month = jun,
year = 2009,
editor = {Alfons Geser and Johannes Waldmann}
}
@InProceedings{gmeiner-gramlich-wadt08-lncs09,
author = {Karl Gmeiner and Bernhard Gramlich},
title = {Transformations of Conditional Rewrite Systems Revisited},
booktitle = {Recent Trends in Algebraic Development Techniques,
19th International Workshop (WADT 2008), Pisa, Italy,
June 13-16, 2008, Revised Selected Papers},
pages = {166--186},
year = 2009,
editor = {Andrea Corradini and Ugo Montanari}
volume = {5486},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag}
}
@InProceedings{schernhammer-gramlich-nwpt08,
author = {Felix Schernhammer and Bernhard Gramlich},
title = {On Operational Termination of Deterministic Conditional Rewrite Systems},
booktitle = {Proc.\ 20th Nordic Workshop on Programming Theory
(Extended Abstracts) -- NWPT'08, Tallinn, Estonia, November 19-21, 2008,
Technical Report of the Institute of Cybernetics at
Tallinn University of Technology},
pages = {84--86},
month = nov,
year = 2008,
editor = {Tarmo Uustalu and J{\"u}ri Vain and Juhan Emits},
note = {ISBN: 978-9949-430-24-6}
}
@InProceedings{gmeiner-gramlich-wadt08,
author = {Karl Gmeiner and Bernhard Gramlich},
title = {Transformations of Conditional Rewrite Systems Revisited},
booktitle = {Prelim. Proc. 19th International Workshop on Algebraic Development
Techniques (WADT'08), Pisa, Italy, June 13-16, 2008},
pages = {64-66},
month = jun,
year = 2008,
editor = {Andrea Corradini and Fabio Gadducci}
}
@InProceedings{schernhammer-gramlich-wst07,
author = {Felix Schernhammer and Bernhard Gramlich},
title = {On Proving and Characterizing Operational
Termination of Deterministic Conditional Rewrite Systems},
booktitle = {Proc. 9th International Workshop on Termination - Extended Abstracts (WST'07,
held as part of RDP'07,
4th Federated Conference on Rewriting, Deduction, and Programming)}
pages = {82--85},
month = jun,
year = 2007,
editor = {Dieter Hofbauer and Alexander Serebrenik}
}
@InProceedings{schernhammer-gramlich-wrs07,
author = {Felix Schernhammer and Bernhard Gramlich},
title = {Termination of Lazy Rewriting Revisited},
booktitle = {Proc. 7th International Workshop on Reduction Strategies in Rewriting
and Programming (WRS'07), held as part of RDP'07
pages = {28--42},
month = jun,
year = 2007,
editor = {J{\"u}rgen Giesl}
}
@InProceedings{gramlich-lucas-rta06,
author = {Bernhard Gramlich and Salvador Lucas},
title = {Generalizing {N}ewman's {L}emma for Left-Linear Rewrite Systems},
booktitle = {Proc. 17th Int. Conf. on Rewriting Techniques and Applications (RTA'06),
Seattle, Washington, USA, August 12-14, 2006},
pages = {66--80},
year = 2006,
editor = {Frank Pfenning},
volume = 4098,
series = {Lecture Notes in Computer Science},
publisher = {Springer},
note = {ISBN: 3-540-36834-5; DOI: 10.1007/11805618}
}
@InProceedings{gramlich-strategies04,
author = {Bernhard Gramlich},
title = {On Strategies for Inductive Theorem Proving [Invited Talk]},
booktitle = {Proc.\ 5th International Workshop on Strategies in Automated Deduction
(STRATEGIES 2004), held in conjunction with IJCAR 2004 (2nd International
Joint Conference on Automated Reasoning), Cork, Ireland},
pages = {62--63},
year = 2004,
editor = {{Maria Paola} Bonacina and Thierry {Boy de la Tour}},
month = jul
}
@InProceedings{gramlich-wst04,
author = {Bernhard Gramlich},
title = {Modularity of Termination of Left-Linear Rewrite Systems Revisited},
booktitle = {Proc.\ 7th International Workshop on Termination - Extended Abstracts
(WST 2004), part of RDP 2004 (2nd Federated Conference on Rewriting,
Deduction, and Programming), Aachen, Germany, June 1-2, 2004},
pages = {22--25},
year = 2004,
editor = {Michael Codish and Aart Middeldorp},
number = {AIB-2004-07},
series = {Aachener Informatik Berichte},
publisher = {RWTH Aachen},
note = {ISSN-0935-3232}
}
@InProceedings{gramlich-lucas-wadt04,
author = {Bernhard Gramlich and Salvador Lucas},
title = {Modular Context-Sensitive Algebraic Specifications},
booktitle = {Proc.\ 17th International Workshop on Algebraic Development
Techniques -- Extended Abstracts (WADT 2004), Barcelona, Spain,
March 27-30, 2004},
pages = {20--22},
year = 2004,
editor = {{Peter D.} Mosses},
month = mar,
note = {part of ETAPS 2004}
}
@InProceedings{alpuente-escobar-gramlich-lucas-lpar02,
author = {Mar{\'\i}a Alpuente and Santiago Escobar and Bernhard Gramlich
and Salvador Lucas},
title = {Improving On-demand Strategy Annotations},
booktitle = {Proc.\ 9th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning (LPAR 2002)},
pages = {1--18},
year = 2002,
editor = {Matthias Baaz and Andrei Voronkov},
series = {LNAI 2514},
address = {Tbilisi, Georgia},
month = oct,
publisher = {Springer-Verlag}
}
@inproceedings{gramlich-lucas-ppdp02,
author = {Bernhard Gramlich and Salvador Lucas},
title = {Modular Termination of Context-Sensitive Rewriting},
booktitle = {Proc.\ 4th International Conference on Principles and
Practice of Declarative Programming (PPDP 2002)},
pages = {50--61},
year = {2002},
editor = {Claude Kirchner},
publisher = {ACM Press},
address = {Pittsburgh, PA, USA},
month = oct
}
@InProceedings{gramlich-lucas-rule02,
author = {Bernhard Gramlich and Salvador Lucas},
title = {Simple Termination of Context-Sensitive Rewriting},
booktitle = {Proc.\ 3rd ACM Sigplan Workshop on Rule-based Programming (RULE 2002)},
pages = {29--41},
year = 2002,
editor = {Bernd Fischer and Eelco Visser},
address = {Pittsburgh, PA, USA},
month = oct,
publisher = {ACM Press}
}
@inproceedings{gramlich-pichler-cade02,
author = {Bernhard Gramlich and Reinhard Pichler},
title = {Algorithmic Aspects of Herbrand Models Represented by
Ground Atoms with Ground Equations},
booktitle = {Proc.\ 18th Int.\ Conf.\ on Automated Deduction (CADE 2002)},
pages = {241--259},
year = {2002},
editor = {Andrei Voronkov},
series = {LNAI 2392}
publisher = {Springer-Verlag},
address = {Copenhagen, Denmark},
month = jul
}
@inproceedings{gramlich-wst01,
author = {Bernhard Gramlich},
title = {Knowledge Based Simplification of Termination Proofs},
booktitle = {Proc.\ 5th Int.\ Workshop on Termination (WST 2001)
-- Extended Abstracts},
pages = {19--21},
year = {2001},
editor = {Nachum Dershowitz},
address = {Utrecht, The Netherlands},
month = may
}
@inproceedings{gramlich-ppdp00,
author = {Bernhard Gramlich},
title = {Simplifying Termination Proofs for Rewrite Systems by Preprocessing},
booktitle = {Proc.\ 2nd Int.\ Conf.\ on Principles and Practice
of Declarative Programming (PPDP 2000), Montreal, Canada},
pages = {139--150},
year = {2000},
editor = {Maurizio Gabrielli and Frank Pfenning},
address = {Montreal, Canada},
month = sep,
publisher = {ACM Press}
}
@inproceedings{gramlich-fics00,
author = {Bernhard Gramlich},
title = {On the (Non-)Existence of Least Fixed Points in Conditional
Equational Logic and Conditional Rewriting},
booktitle = {Proc.\ 2nd Int.\ Workshop on Fixed Points in
Computer Science (FICS 2000) -- Extended Abstracts},
pages = {38--40},
year = {2000},
editor = {Ir{\`e}ne Guessarian},
address = {Paris, France},
month = jul,
annote = {total: 52 pages}
}
@inproceedings{gramlich-ftp00,
author = {Bernhard Gramlich},
title = {Extending First-Order Unification by by Tractable Second-Order Features},
booktitle = {Proc.\ 3rd Int.\ Workshop on First-Order Theorem Proving (FTP 2000)},
pages = {122--133},
year = {2000},
editor = {Peter Baumgartner and Hantao Zhang},
number = {5/2000},
series = {Fachberichte Informatik, Universit{\"a}t Koblenz},
address = {St.~Andrews, Scotland},
month = jul,
note = {total: 229 pages}
}
@inproceedings{gramlich-wst99,
author = {Bernhard Gramlich},
editor = {Dieter Hutter et al.},
title = {Strategic Aspects in Inductive Theorem Proving and
Proof Engineering (Extended Abstract)},
booktitle = {Proc.\ FLoC'99 Workshop on the Automation of Proof by
Mathematical Induction (IND-WS'99)},
year = 1999,
month = jul,
address = {Trento, Italy}
}
@inproceedings{gramlich-wst99,
author = {Bernhard Gramlich},
title = {On Some Abstract Termination Criteria},
booktitle = {Proc.\ 4th Int.\ Workshop on Termination (WST'99)},
year = 1999,
month = may,
address = {Dagstuhl, Germany}
}
@inproceedings{gramlich-unif98,
author = {Bernhard Gramlich},
editor = {Marisa {Venturini Zilli} et al.},
title = {On (Un)Sound Simplifications of Equational Theories},
booktitle = {Proc. 12th Int. Workshop on Unification, Research
Research Report SI-98/8},
year = 1998,
month = jun,
address = {Rome, Italy}
}
@inproceedings{gramlich-wadt97-lncs98,
author = {Bernhard Gramlich},
editor = {Francesco Parisi-Presicce},
title = {Modular Aspects of Rewrite-Based Specifications},
booktitle = {Recent Trends in Algebraic Development Techniques,
12th Int.\ Workshop, WADT 97, Tarquinia, Italy, June
1997, Selected Papers},
pages = {253--268},
year = {1998},
publisher = {Springer-Verlag},
volume = {1376},
series = {Lecture Notes in Computer Science}
}
@inproceedings{gramlich-ind97,
author = {Bernhard Gramlich},
title = {Design Issues for Inductive Theorem Proving Systems},
booktitle = {CADE-14 Workshop on Automated Induction Theorem
Proving (IND-WS'97)},
year = {1997},
month = jul,
address = {Townsville, North Queensland, Australia}
}
@inproceedings{gramlich-iwt97,
author = {Bernhard Gramlich},
title = {A Refined Analysis for Termination of Combined
Rewrite Systems},
booktitle = {Proc.\ 3rd Int.\ Workshop on Termination (IWT'97),
Extended Abstracts},
pages = {4--5},
year = {1997},
month = may,
address = {Utrecht, The Netherlands}
}
@inproceedings{gramlich-rta96,
author = {Bernhard Gramlich},
editor = {Harald Ganzinger},
title = {On Proving Termination by Innermost Termination},
booktitle = {Proc.\ 7th Int.\ Conf.\ on Rewriting Techniques and
Applications (RTA'96)},
pages = {93--107},
year = {1996},
month = jul,
publisher = {Springer-Verlag},
volume = {1103},
series = {Lecture Notes in Computer Science}
}
@inproceedings{gramlich-wirth-rta96,
author = {Bernhard Gramlich and Claus-Peter Wirth},
editor = {Harald Ganzinger},
title = {Confluence of Terminating Conditional Rewrite Systems Revisited},
booktitle = {Proc.\ 7th Int.\ Conf.\ on Rewriting Techniques and
Applications (RTA'96)},
pages = {245--259},
year = {1996},
month = jul,
publisher = {Springer-Verlag},
volume = {1103},
}
@inproceedings{gramlich-caap96,
author = {Bernhard Gramlich},
editor = {H{\'e}l{\`e}ne Kirchner},
title = {Confluence without Termination via Parallel Critical Pairs},
booktitle = {Proc.\ 21st Coll. on Trees in Algebra and Programming (CAAP'96)},
pages = {211--225},
year = {1996},
month = apr,
publisher = {Springer-Verlag},
volume = 1059,
series = {Lecture Notes in Computer Science}
}
@inproceedings{gramlich-unif96,
author = {Bernhard Gramlich},
editor = {Klaus U. Schulz and Stephan Kepser},
title = {Conditional Rewrite Systems under Signature
Extensions: Some Counterexamples},
booktitle = {Proc.\ 10th Int.\ Workshop on Unification (Extended
Abstracts), CIS-Bericht-96-91, Universit{\"a}t
M{\"u}nchen},
pages = {45--50},
year = {1996},
month = jun
}
@inproceedings{gramlich-ind95,
author = {Bernhard Gramlich},
editor = {R.S. Boyer and A. Bundy and D. Kapur and C. Walther},
title = {On Evaluation Criteria for Inductive Theorem Proving
Systems},
booktitle = {Proc. 4th Int. Workshop on the Automation of Proof
by Mathematical Induction (IND-WS'95), Dagstuhl-Seminar-Report},
address = {Dagstuhl, Germany},
year = 1995,
month = jul
}
@inproceedings{gramlich-iwt95,
author = {Bernhard Gramlich},
title = {Termination by Divide and Conquer: Some New
Preservation Results},
booktitle = {Proc.\ 2nd Int.\ Workshop on Termination (IWT'95) -- Abstracts},
year = 1995,
month = may,
address = {La Bresse, France},
annote = {May 29--31}
}
@inproceedings{gramlich-ctrs94-lncs95,
author = {Bernhard Gramlich},
editor = {Nachum Dershowitz and Naomi Lindenstrauss},
title = {On Termination and Confluence of Conditional Rewrite
Systems},
booktitle = {Proc.\ 4th Int.\ Workshop on Conditional and Typed
Rewriting Systems (CTRS'94)},
pages = {166--185},
year = {1995},
publisher = {Springer-Verlag},
volume = 968,
series = {Lecture Notes in Computer Science}
}
@inproceedings{gramlich-alp94,
author = {Bernhard Gramlich},
editor = {Giorgio Levi and Mario Rodr{\'\i}guez-Artalejo},
title = {On Modularity of Termination and Confluence Properties
of Conditional Rewrite Systems},
booktitle = {Proc.\ 4th Int.\ Conf.\ on Algebraic and Logic
Programming (ALP'94)},
pages = {186--203},
year = {1994},
month = sep,
publisher = {Springer-Verlag},
volume = 850,
series = {Lecture Notes in Computer Science}
}
@inproceedings{wirth-gramlich-cade94,
author = {Claus-Peter Wirth and Bernhard Gramlich},
editor = {Alan Bundy},
title = {On Notions of Inductive Validity for First-Order
Equational Clauses},
booktitle = {Proc.\ 12th Int.\ Conf.\ on Automated Deduction (ACDE'94)},
pages = {162--176},
year = {1994},
month = {June/July},
publisher = {Springer-Verlag},
volume = {814},
series = {Lecture Notes in Artificial Intelligence}
}
@inproceedings{Gr94f,
author = {Bernhard Gramlich},
editor = {David Basin and Fausto Giunchiglia and Matt Kaufmann},
title = {Experiences with the Development, Maintenance and
Enhancement of {UNICOM}},
booktitle = {Proc. CADE-12 Workshop on Correctness and
Metatheoretic Extensibility of Automated Reasoning
Systems},
pages = {42--43},
year = {1994},
month = jun,
address = {Nancy, France}
}
@inproceedings{middeldorp-gramlich-rta93,
author = {Aart Middeldorp and Bernhard Gramlich},
editor = {Claude Kirchner},
title = {Simple Termination is Difficult},
booktitle = {Proc.\ 5th Int.\ Conf.\ on Rewriting Techniques and
Applications},
pages = {228--242},
year = {1993},
month = jun,
publisher = {Springer-Verlag},
volume = {690},
series = {Lecture Notes in Computer Science}
}
@inproceedings{gramlich-iwt93,
author = {Bernhard Gramlich},
title = {Termination Properties of Non-Orthogonal Term
Rewriting Systems},
booktitle = {Proc.\ 1st Int.\ Workshop on Termination (IWT'93) -- Abstracts},
year = 1993,
month = may,
address = {St. Andrews, Scotland}
}
@inproceedings{gramlich-ctrs92-lncs93,
author = {Bernhard Gramlich},
editor = {Micha{\"e}l Rusinowitch and Jean-Luc R{\'e}my},
title = {Sufficient Conditions for Modular Termination of
Conditional Term Rewriting Systems},
booktitle = {Proc.\ 3rd Int.\ Workshop on Conditional Term Rewriting
Systems (CTRS'92)},
pages = {128--142},
year = {1993},
month = jul,
publisher = {Springer-Verlag},
address = {Pont-{\`a}-Mousson, France},
volume = {656},
series = {Lecture Notes in Computer Science}
}
@inproceedings{wirth-gramlich-ctrs92-lncs93,
author = {Claus-Peter Wirth and Bernhard Gramlich},
editor = {Micha{\"e}l Rusinowitch and Jean-Luc R{\'e}my},
title = {A Constructor-Based Approach for Positive/Negative
Conditional Equational Specifications},
booktitle = {Proc.\ 3rd Int.\ Workshop on Conditional Term Rewriting
Systems (CTRS'92)},
pages = {198--212},
year = {1993},
month = jul,
publisher = {Springer-Verlag},
address = {Pont-{\`a}-Mousson, France},
volume = {656},
series = {Lecture Notes in Computer Science}
}
@inproceedings{gramlich-alp92,
author = {Bernhard Gramlich},
editor = {H{\'e}l{\`e}ne Kirchner and Giorgio Levi},
title = {Generalized Sufficient Conditions for Modular
Termination of Rewriting},
booktitle = {Proc.\ 3rd Int.\ Conf.\ on Algebraic and Logic
Programming (ALP'92)},
pages = {53--68},
year = {1992},
month = sep,
publisher = {Springer-Verlag},
address = {Pisa, Italy},
volume = {632},
series = {Lecture Notes in Computer Science},
annote = {Extended version: \cite{gramlich-aaecc94}}
}
@inproceedings{gramlich-lpar92,
author = {Bernhard Gramlich},
editor = {Andrei Voronkov},
title = {Relating Innermost, Weak, Uniform and Modular
Termination of Term Rewriting Systems},
booktitle = {Proc.\ 3rd Int.\ Conf.\ on Logic Programming and
Automated Reasoning (LPAR'92)},
address = {St. Petersburg, Russia},
pages = {285--296},
year = {1992},
month = jul,
publisher = {Springer-Verlag},
volume = {624},
series = {Lecture Notes in Artificial Intelligence}
}
@inproceedings{gramlich-ind92,
author = {Bernhard Gramlich},
editor = {Alan Bundy},
title = {Inductive Theorem Proving Based on Rewriting and
Completion Techniques},
booktitle = {Proc.\ 1st Int. Workshop On the Automation of
Inductive Proof (IND-WS'92) -- Abstracts, held in conjunction
with CADE-11},
year = 1992,
month = jun,
address = {Saratoga Springs, NY},
annote = {pp. 14--15}
}
@inproceedings{gramlich-ecai90,
author = {Bernhard Gramlich},
editor = {{Luigia Carlucci} Aiello},
title = {Completion Based Inductive Theorem Proving: An
Abstract Framework and its Applications},
booktitle = {Proc.\ 9th European Conf.\ on Artificial Intelligence (ECAI'90)},
address = {Stockholm, Sweden},
pages = {314--319},
year = {1990},
month = aug,
publisher = {Pitman Publishing, London}
}
@inproceedings{gramlich-cade90,
author = {Bernhard Gramlich},
editor = {{Mark E.} Stickel},
title = {{UNICOM}: A Refined Completion Based Inductive Theorem Prover},
booktitle = {Proc.\ 10th Int.\ Conf.\ on Automated Deduction (CADE'90)},
address = {Kaiserslautern, Germany},
pages = {655--656},
year = {1990},
month = jul,
publisher = {Springer-Verlag},
volume = {449},
series = {Lecture Notes in Artificial Intelligence}
}
@inproceedings{gramlich-unif89,
author = {Bernhard Gramlich},
editor = {Hans-J{\"u}rgen B{\"u}rckert and Werner Nutt},
title = {Unification of Term Schemes},
booktitle = {Extended Abstracts of the Third International Workshop on Unification},
address = {Lambrecht, Germany},
pages = {???--???},
month = {???},
year = {1989}
}
@inproceedings{gramlich-unif88,
author = {Bernhard Gramlich},
editor = {Claude Kirchner and Gert Smolka},
title = {Efficient {AC}-Matching using Constraint Propagation},
booktitle = {Proc.\ 2nd Int.\ Workshop on Unification, Rapport
Interne No. 89 R 38, CRIN},
year = 1988,
month = jul,
address = {Val d'Ajol, France}
}
@inproceedings{avenhaus-goebel-kuehler-madlener-wirth-ctrs87-lncs88,
author = {J{\"u}rgen Avenhaus and Richard G{\"o}bel and Bernhard
Gramlich and Klaus Madlener and Joachim Steinbach},
editor = {St{\'e}phane Kaplan and Jean-Pierre Jouannaud},
title = {{TRSPEC}: A Term Rewriting Based System for Algebraic
Specifications},
booktitle = {Proc.\ 1st Int.\ Workshop on Conditional Term Rewriting
Systems (CTRS'87)},
address = {Orsay, France},
pages = {245--248},
year = {1987},
publisher = {Springer-Verlag},
volume = {308},
series = {Lecture Notes in Computer Science}
}
% Journal Papers
@InProceedings{iws10-eptcs10,
author = {Bernhard Gramlich and Felix Schernhammer},
title = {Extending Context-Sensitivity in Term Rewriting},
journal = {Eletronic Proceedings Theoretical Computer Science
(EPTCS), Final Proc.\ 1st International Workshop on Strategies in Rewriting,
Proving, and Programming (IWS 2010),
Hélène Kirchner and César Muñoz, eds.},
volume = {44},
pages = {35--50},
note = {http://cgi.cse.unsw.edu.au/~rvg/eptcs/paper.cgi?IWS2010:6},
month = dec,
year = 2010
}
@InProceedings{wrs09-eptcs10,
author = {Bernhard Gramlich and Felix Schernhammer},
title = {Extending Context-Sensitivity in Term Rewriting},
journal = {Eletronic Proceedings Theoretical Computer Science
(EPTCS), Final Proc.\ 9th International Workshop on Reduction
Strategies in Rewriting and Programming (WRS 2009), Maribel Fernandez, ed.},
volume = {15},
pages = {56--68},
note = {http://arxiv.org/abs/1001.4437v1 [cs.LO]},
month = jan,
year = 2010
}
@InProceedings{tcs10,
author = {Mar{\'\i}a Alpuente and Santiago Escobar and Bernhard Gramlich
and Salvador Lucas},
title = {On-demand Strategy Annotations Revisited: An Improved On-Demand
Evaluation Strategy},
journal = {Theoretical Computer Science},
volume = {411},
number = {2},
pages = {504--541},
month = jan,
year = 2010,
publisher = {Elsevier}
}
@Article{nwpt08-jlap10,
author = {Felix Schernhammer and Bernhard Gramlich},
editor = {Tarmo Uustalu and J{\"u}ri Vain},
title = {Characterizing and Proving Operational Termination of Deterministic
Conditional Term Rewriting Systems},
journal = {Journal of Logic and Algebraic Programming},
volume = {79},
number = {7},
pages = {659--688},
year = {2010},
note = {Revised selected papers of NWPT 2008, Tarmo Uustalu
and J{\"u}ri Vain, editors},
}
@Article{wrs07-entcs08,
author = {Felix Schernhammer and Bernhard Gramlich},
title = {Termination of Lazy Rewriting Revisited},
journal = {Electronic Notes in Theoretical Computer Science},
year = 2008,
volume = {204},
pages = {35--51},
month = apr,
note = {Final Proc.\ of WRS'07 - 7th International Workshop on
Reduction Strategies in Rewriting and Programming,
Paris, France, J{\"u}rgen Giesl, ed.}
}
@InProceedings{schernhammer-gramlich-wrs07,
author = {Felix Schernhammer and Bernhard Gramlich},
title = {Termination of Lazy Rewriting Revisited},
booktitle = {Proc. 7th International Workshop on Reduction Strategies in Rewriting
and Programming (WRS'07), held as part of RDP'07
pages = {28--42},
month = jun,
year = 2007,
editor = {J{\"u}rgen Giesl}
}
@Article{prole06-entcs07,
author = {Mar{\'\i}a Alpuente, Bernhard Gramlich and Alicia Villanueva},
title = {A Framework for Timed Concurrent Constraint Programming with External Functions},
journal = {Electronic Notes in Theoretical Computer Science},
year = 2007,
volume = {188},
pages = {143--155},
month = jul,
note = {Proc.\ 6th Spanish Conference on Programming and Languages (PROLE 2006),
Sitges, Barcelona, Spain, Paqui Lucio and Fernando Orejas, eds.}
}
@Article{gramlich-strategies04-entcs05,
author = {Bernhard Gramlich},
title = {Strategic Issues, Problems and Challenges in Inductive
Theorem Proving},
journal = {Electronic Notes in Theoretical Computer Science},
year = 2005,
volume = {125},
number = {2},
pages = {5--43},
month = mar,
note = {Proc.\ 5th International Workshop on Strategies in
Automated Deduction (Strategies 2004) -- Selected
Papers, Maria Paola Bonacina and Thierry Boy de la Tour, eds.}
}
@Article{gramlich-tcs01,
author = {Bernhard Gramlich},
title = {On Interreduction of Semi-Complete Term Rewriting
Systems},
journal = {Theoretical Computer Science},
year = 2001,
volume = 258,
number = {1--2},
pages = {435--451},
month = apr,
note = {accepted in June 1999}
}
@article{gramlich-tcs96,
author = {Bernhard Gramlich},
title = {On Termination and Confluence Properties of Disjoint
and Constructor-Sharing Conditional Rewrite Systems},
journal = {Theoretical Computer Science},
pages = {97--131},
year = {1996},
month = sep,
volume = {165},
number = {1},
annote = {Special issue: Selected papers of ALP'94}
}
@article{gramlich-fi95,
author = {Bernhard Gramlich},
title = {Abstract Relations between Restricted Termination and
Confluence Properties of Rewrite Systems},
journal = {Fundamenta Informaticae},
pages = {3--23},
year = {1995},
volume = 24,
annote = {Special issue on term rewriting systems,
ed. D.~A.~Plaisted. (A preliminary version of this
paper appeared as \cite{gramlich-lpar92}.)}
}
@article{middeldorp-gramlich-aaecc95,
author = {Aart Middeldorp and Bernhard Gramlich},
title = {Simple Termination is Difficult},
journal = {Applicable Algebra in Engineering, Communication and Computing},
pages = {115--128},
month = mar,
year = {1995},
volume = 6,
number = 2,
annote = {Journal version of \cite{middeldorp-gramlich-rta93}}
}
@article{gramlich-aaecc94,
author = {Bernhard Gramlich},
title = {Generalized Sufficient Conditions for Modular
Termination of Rewriting},
journal = {Applicable Algebra in Engineering, Communication and Computing},
pages = {131--158},
month = may,
year = {1994},
volume = {5},
number = (3/4},
publisher = {Springer-Verlag}
}
@article{wirth-gramlich-jsc94,
author = {Claus-Peter Wirth and Bernhard Gramlich},
title = {A Constructor-Based Approach for Positive/Negative
Conditional Equational Specifications},
journal = {Journal of Symbolic Computation},
pages = {51--90},
year = {1994},
volume = {17},
publisher = {Academic Press}
}
@article{gramlich-beatcs94,
author = {Bernhard Gramlich},
title = {A Note on a Parameterized Version of the Well-Founded
Induction Principle},
journal = {Bulletin of the EATCS},
pages = {274--278},
year = {1994},
month = feb,
volume = {52}
}
% Books, Book Chapters and(Co-)Edited Works
@Proceedings{frocos05-proceedings,
title = {Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005,
Vienna, Austria, September 19-21, 2005, Proceedings},
booktitle = {FroCoS 2005},
year = 2005,
editor = {Bernhard Gramlich},
volume = 3717,
series = {Lecture Notes in Computer Science},
month = sep,
publisher = {Springer},
isbn = {3-540-43931-5}
}
@Book{gramlich-lucas-jsc05,
editor = {Bernhard Gramlich and Salvador Lucas},
title = {Reduction Strategies in Rewriting and Programming, special issue,
Journal of Symbolic Computation},
publisher = {Elsevier Science Publishers},
year = 2005,
month = jul,
volume = 40,
number = 1,
note = {pp.\ 745--903}
}
@Proceedings{gramlich-lucas-wrs03-entcs-86-4,
title = {3rd International Workshop on Reduction Strategies in Rewriting and
Programming (WRS 2003) -- Final Proceedings},
year = 2003,
month = dec,
editor = {Bernhard Gramlich and Salvador Lucas},
volume = {86},
issue = {4},
series = {Electronic Notes in Theoretical Computer Science},
note = {December},
publisher = {Elsevier Science Publishers}
}
@Proceedings{gramlich-lucas-wrs03,
title = {Proc.\ 3rd International Workshop on Reduction Strategies in Rewriting and
Programming (WRS 2003), Valencia, Spain, June 8, 2003},
year = 2003,
editor = {Bernhard Gramlich and Salvador Lucas},
volume = {Technical Report DSIC--II/14/03},
month = jun,
publisher = {Departamento de Sistemas Inform{\'a}ticos y Computaci{\'o}n,
Universidad Polit{\'e}cnica de Valenica},
annote = {145 pp., preliminary proceedings, final proceedings to appear in ENTCS}
}
@Proceedings{gramlich-lucas-wrs02-entcs-70-6,
title = {2nd International Workshop on Reduction Strategies in Rewriting and
Programming (WRS 2002) -- Final Proceedings},
year = 2002,
month = dec,
editor = {Bernhard Gramlich and Salvador Lucas},
volume = {70},
issue = {6},
series = {Electronic Notes in Theoretical Computer Science},
note = {December},
publisher = {Elsevier Science Publishers}
}
@Proceedings{gramlich-lucas-wrs02,
title = {Proc.\ 2nd International Workshop on Reduction Strategies in
Rewriting and Programming (WRS 2002)},
year = 2002,
editor = {Bernhard Gramlich and Salvador Lucas},
number = {E1852--2002--02},
series = {Technical Report},
address = {Copenhagen, Denmark},
month = jul,
publisher = {Verlag Berger},
note = {ISBN 3-85028-352-6, 150 pages, preliminary proceedings}
}
@Proceedings{bonacina-gramlich-strategies01-entcs-58-2,
title = {4th International Workshop on Strategies in Automated
Deduction (STRATEGIES 2001) - Selected Papers},
year = 2001,
editor = {{Maria Paola} Bonacina and Bernhard Gramlich},
volume = 58,
issue = 2
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier Science Publishers}
}
@Proceedings{gramlich-lucas-wrs01-entcs57,
title = {1st International Workshop on Reduction Strategies in
Rewriting and Programming (WRS 2001)},
year = 2001,
editor = {Bernhard Gramlich and Salvador Lucas},
volume = 57,
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier Science Publishers}
}
@Proceedings{bonacina-gramlich-strategies01,
title = {Proc.\ 4th International Workshop on Strategies in
Automated Deduction (STRATEGIES 2001)},
year = 2001,
editor = {{Maria Paola} Bonacina and Bernhard Gramlich},
address = {Siena, Italy},
month = june,
annote = {118 pages}
}
@Proceedings{gramlich-lucas-wrs01,
title = {Proc.\ International Workshop on Reduction Strategies
in Rewriting and Programming (WRS 2001)},
year = 2001,
editor = {Bernhard Gramlich and Salvador Lucas},
volume = {SPUPV 2359},
address = {Utrecht, The Netherlands},
month = may,
publisher = {Servicio de Publicaciones - Universidad Polit{\'e}cnica de Valencia},
annote = {187 pages}
}
@Book{gramlich-kirchner-pfenning-amai01,
editor = {Bernhard Gramlich and H{\'e}l{\`e}ne Kirchner and
Frank Pfenning},
title = {Strategies in Automated Deduction (Special Issue)},
publisher = {Kluwer Academic Publishers},
year = 2001,
volume = 29,
number = {1/4, 2000},
series = {Annals of Mathematics and Artificial Intelligence},
month = feb,
note = {ISSN 1012-2443}
}
@proceedings{gramlich-kirchner-pfenning-strategies99,
editor = {Bernhard Gramlich and H{\'e}l{\`e}ne Kirchner and Frank
Pfenning},
title = {Proceedings FLoC'99 Workshop on Strategies in Automated
Deduction (STRATEGIES'99)},
year = {1999},
month = jul,
address = {Trento, Italy},
note = {92 pp.}
}
@proceedings{gramlich-pfenning-strategies98,
editor = {Bernhard Gramlich and Frank Pfenning},
title = {Proceedings {CADE}-15 Workshop on Strategies in Automated Deduction},
year = {1998},
month = jul,
address = {Lindau, Germany},
note = {74 pp.}
}
@proceedings{gramlich-kirchner-strategies97,
editor = {Bernhard Gramlich and H{\'e}l{\`e}ne Kirchner},
title = {Proceedings {CADE}-14 Workshop on Strategies in
Automated Deduction},
year = {1997},
month = jul,
address = {Townsville, North Queensland, Australia},
note = {70 pp.}
}
@incollection{gramlich-avenhaus-zsi90,
author = {Bernhard Gramlich and J{\"u}rgen Avenhaus},
editor = {Heinrich Kersten},
title = {Formal Specification and Verification of Equationally
Defined Functional Programs with {UNICOM}},
booktitle = {Sichere Software},
pages = {150--171},
year = {1990},
publisher = {H\"uthig Verlag}
}
% Theses
@Misc{gramlich-habilthesis99,
author = "Bernhard Gramlich",
title = "Towards a Structure Theory of Term Rewriting",
note = "135 pp.",
howpublished = "Habilitationsschrift, Technische Universit{\"a}t
Wien, Austria",
year = {1999},
month = sep
}
@phdthesis{gramlich-phdthesis96,
author = {Bernhard Gramlich},
title = {Termination and Confluence Properties of Structured Rewrite Systems},
note = {217 pp.},
year = {1996},
month = jan,
school = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
address = {Germany}
}
% National Conferences and Workshops
@InProceedings{alpuente-gramlich-villanueva-prole06,
author = {Mar{\`\i}a Alpuente and Bernhard Gramlich and Alicia Villanueva},
title = {Timed Concurrent Constraint Programming with Instantaneous Computations},
booktitle = {Proc.~6th Spanish Conference on Programming and Computer Languages (PROLE'06),
Sitges, Spain, October 2006},
pages = {221--230},
year = 2006,
editor = {Paqui Lucio},
month = oct
}
% Technical Reports
@TechReport{techrep-e1852-2011-01,
author = {Eugen Jiresch and Bernhard Gramlich and Felix Schernhammer},
title = {Realizing Monads in Interaction Nets via Generic Typed Rules},
institution = {Theory and Logic Group, Institute of Computer Languages, TU Wien, Austria},
month = jun,
year = {2011},
type = {Technical Report},
number = {E1852-2011-01},
note = {26 pages}
}
@TechReport{techrep-e1852-2010-01,
author = {Karl Gmeiner and Bernhard Gramlich and Felix Schernhammer},
title = {On (Un)Soundness of Unravelings},
institution = {Theory and Logic Group, Institute of Computer Languages, TU Wien, Austria},
month = apr,
year = {2010},
type = {Technical Report},
number = {E1852-2010-01},
note = {22 pages}
}
@TechReport{techrep-e1852-2009-02,
author = {Bernhard Gramlich and Felix Schernhammer},
title = {Extending Context-Sensitivity in Term Rewriting},
institution = {Theory and Logic Group, Institute of Computer Languages, TU Wien, Austria},
month = dec,
year = {2009},
type = {Technical Report},
number = {E1852-2009-02},
note = {21 pages}
}
@TechReport{techrep-e1852-2009-01,
author = {Felix Schernhammer and Bernhard Gramlich},
title = {Characterizing and Proving Operational Termination of
Deterministic Conditional Term Rewriting Systems},
institution = {Theory and Logic Group, Institute of Computer Languages, TU Wien, Austria},
month = sep,
year = {2009},
type = {Technical Report},
number = {E1852-2009-01},
note = {revised version, 50 pages}
}
@TechReport{wrs07-techrep,
author = {Felix Schernhammer and Bernhard Gramlich},
title = {Termination of Lazy Rewriting Revisited},
institution = {Theory and Logic Group, Institute of Computer Languages, TU Wien},
month = nov,
year = {2007},
type = {Technical Report},
number = {E1852-2007-01},
address = {Austria},
note = {30 pages}
}
@TechReport{prole06-techrep06,
author = {Mar{\'\i}a Alpuente, Bernhard Gramlich and Alicia Villanueva},
title = {A Framework for Timed Concurrent Constraint Programming with External Functions},
institution = {Departamento de Sistemas Inform{\'a}ticos y Computaci{\'o}n, UPV},
year = 2006,
number = {DSIC--II/13/06},
address = {Valencia, Spain},
month = dec,
doi = {doi:10.1016/j.entcs.2007.05.043}
url = {http://dx.doi:10.1016/j.entcs.2007.05.043}
annote = {16 pages}
}
@TechReport{alpuente-escobar-gramlich-lucas-lpar02-journal-techrep03,
author = {Mar{\'\i}a Alpuente and Santiago Escobar and Bernhard Gramlich
and Salvador Lucas},
title = {On-Demand Strategy Annotations Revisited},
institution = {Departamento de Sistemas Inform{\'a}ticos y Computaci{\'o}n, UPV},
year = 2003,
number = {DSIC--II/18/03},
address = {Valencia, Spain},
month = jul,
annote = {51 pages}
}
@TechReport{gramlich-tr-tuwien-e1852-06-99,
author = {Bernhard Gramlich},
title = {On Interreduction of Semi-Complete Term Rewriting Systems},
institution = {Vienna University of Technology},
year = {1999},
type = {Technical Report},
number = {E1852-BG-991},
address = {Vienna, Austria},
month = sep,
note = {18 pages}
}
@TechReport{gramlich-tr-inria-rr-3330-12-1997,
author = {Bernhard Gramlich},
title = {Modular Aspects of Rewrite-Based Specifications},
institution = {INRIA Lorraine},
year = {1997},
type = {Research Report},
number = {RR-3330},
address = {Nancy, France},
month = dec,
note = {11 pages, long version of \cite{gramlich-wadt97-lncs98}}
}
@TechReport{gramlich-tr-inria-rr-3327-12-1997,
author = {Bernhard Gramlich},
title = {On Semi-Completeness of Term Rewriting Systems},
institution = {INRIA Lorraine},
year = {1997},
type = {Research Report},
number = {RR-3327},
address = {Nancy, France},
month = dec,
note = {11 pages}
}
@TechReport{gramlich-tr-seki-95-13-1995,
author = {Bernhard Gramlich},
title = {Confluence without Termination via Parallel Critical Pairs},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1995},
type = {SEKI Report},
number = {SR-95-13},
address = {Germany},
note = {Long version of \cite{gramlich-caap96}}
}
@TechReport{gramlich-tr-seki-95-08-1995,
author = {Bernhard Gramlich},
title = {A Note on a Parameterized Version of the
Well-Founded Induction Principle},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1995},
type = {SEKI Report},
number = {SR-95-08},
address = {Germany},
note = {Long version of \cite{gramlich-beatcs94}}
}
@TechReport{gramlich-tr-seki-93-17-1993,
author = {Bernhard Gramlich},
title = {New Abstract Criteria for Termination and Confluence
of Conditional Rewrite Systems},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1993},
type = {SEKI Report},
number = {SR-93-17},
address = {Germany},
note = {Long version of \cite{gramlich-ctrs94-lncs95}}
}
@TechReport{gramlich-tr-seki-93-09-1993,
author = {Bernhard Gramlich},
title = {Relating Innermost, Weak, Uniform and Modular
Termination of Term Rewriting Systems},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1993},
month = jun,
type = {SEKI Report},
number = {SR-93-09},
address = {Germany},
note = {Long version of \cite{gramlich-lpar92}}
}
@TechReport{wirth-gramlich-kuehler-prote-tr-seki-93-05-1993,
author = {Claus-Peter Wirth and Bernhard Gramlich and Ulrich
K{\"u}hler and Horst Prote},
title = {Constructor-Based Inductive Validity in
Positive/Negative Conditional Equational
Specifications},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1993},
type = {SEKI Report},
number = {SR-93-05},
address = {Germany}
}
@TechReport{wirth-gramlich-tr-seki-92-10-1992,
author = {Claus-Peter Wirth and Bernhard Gramlich},
title = {A Constructor-Based Approach for Positive/Negative
Conditional Equational Specifications},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1992},
type = {SEKI Report},
number = {SR-92-10},
address = {Germany},
note = {Long version of \cite{wirth-gramlich-ctrs92-lncs93}}
}
@TechReport{gramlich-tr-seki-92-01-1992,
author = {Bernhard Gramlich},
title = {Towards Intelligent Inductive Proof Engineering},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1992},
type = {SEKI Report},
number = {SR-92-01},
address = {Germany}
}
@TechReport{gramlich-lindner-tr-seki-91-17-1991,
author = {Bernhard Gramlich},
title = {A Guide to {UNICOM}, an Inductive Theorem Prover Based
on Rewriting and Completion Techniques},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1991},
type = {SEKI Report},
number = {SR-91-17},
address = {Germany}
}
@TechReport{gramlich-tr-seki-91-15-1991,
author = {Bernhard Gramlich},
title = {A Structural Analysis of Modular Termination of Term Rewriting Systems},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1991},
type = {SEKI Report},
number = {SR-91-15},
address = {Germany}
}
@TechReport{gramlich-tr-seki-90-04-1990,
author = {Bernhard Gramlich},
title = {Completion Based Inductive Theorem Proving: A Case
Study in Verifying Sorting Algorithms},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1990},
type = {SEKI Report},
number = {SR-90-04},
address = {Germany}
}
@TechReport{gramlich-tr-seki-89-14-1989,
author = {Bernhard Gramlich},
title = {Inductive Theorem Proving Using Refined Unfailing
Completion Techniques},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1989},
type = {SEKI Report},
number = {SR-89-14},
address = {Germany},
note = {Long version of \cite{gramlich-ecai90}}
}
@TechReport{gramlich-tr-seki-88-18-1988,
author = {Bernhard Gramlich},
title = {Unification of Term Schemes -- Theory and Applications},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1988},
type = {SEKI Report},
number = {SR-88-18},
address = {Germany},
note = {Long version of \cite{gramlich-unif89}}
}
@TechReport{gramlich-denzinger-tr-seki-88-15-1988,
author = {Bernhard Gramlich and J{\"o}rg Denzinger},
title = {Efficient {AC}-matching Using Constraint Propagation},
institution = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern},
year = {1988},
type = {SEKI Report},
number = {SR-88-15},
address = {Germany},
note = {See also \cite{gramlich-unif88}}
}
Last modified: Wed Dec 19 19:05:33 CET 2012
Bernhard Gramlich