Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/rta/rta91.bht:"
download as .bib file
@inproceedings{DBLP:conf/rta/AgarwalMKN91,
author = {Raj Agarwal and
David R. Musser and
Deepak Kapur and
Xumin Nie},
editor = {Ronald V. Book},
title = {The Tecton Proof System},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {442--444},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_119},
doi = {10.1007/3-540-53904-2\_119},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/AgarwalMKN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Avenhaus91,
author = {J{\"{u}}rgen Avenhaus},
editor = {Ronald V. Book},
title = {Proving Equational and Inductive Theorems by Completion and Embedding
Techniques},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {361--373},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_110},
doi = {10.1007/3-540-53904-2\_110},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Avenhaus91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Baader91,
author = {Franz Baader},
editor = {Ronald V. Book},
title = {Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization
Problems},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {86--97},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_88},
doi = {10.1007/3-540-53904-2\_88},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Baader91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BaaderN91,
author = {Franz Baader and
Werner Nutt},
editor = {Ronald V. Book},
title = {Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra
Can Help in Equational Unification},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {124--135},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_91},
doi = {10.1007/3-540-53904-2\_91},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BaaderN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bellegarde91,
author = {Fran{\c{c}}oise Bellegarde},
editor = {Ronald V. Book},
title = {Program Transformation and Rewriting},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {226--239},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_99},
doi = {10.1007/3-540-53904-2\_99},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Bellegarde91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Billaud91,
author = {Michel Billaud},
editor = {Ronald V. Book},
title = {{ANIGRAF:} An Interactive System for the Animation of Graph Rewriting
Systems with Priorities},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {437--438},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_117},
doi = {10.1007/3-540-53904-2\_117},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Billaud91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BonacinaH91,
author = {Maria Paola Bonacina and
Jieh Hsiang},
editor = {Ronald V. Book},
title = {On Fairness of Completion-Based Theorem Proving Strategies},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {348--360},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_109},
doi = {10.1007/3-540-53904-2\_109},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BonacinaH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Brandenburg91,
author = {Franz{-}Josef Brandenburg},
editor = {Ronald V. Book},
title = {The Equivalence of Boundary and Confluent Graph Grammars on Graph
Languages of Bounded Degree},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {312--322},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_106},
doi = {10.1007/3-540-53904-2\_106},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Brandenburg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bundgen91,
author = {Reinhard B{\"{u}}ndgen},
editor = {Ronald V. Book},
title = {Simulation Buchberger's Algorithm by Knuth-Bendix Completion},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {386--397},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_112},
doi = {10.1007/3-540-53904-2\_112},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Bundgen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ChabinR91,
author = {Jacques Chabin and
Pierre R{\'{e}}ty},
editor = {Ronald V. Book},
title = {Narrowing Directed by a Graph of Terms},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {112--123},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_90},
doi = {10.1007/3-540-53904-2\_90},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ChabinR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CohenW91,
author = {Dave Cohen and
Phil Watson},
editor = {Ronald V. Book},
title = {An Efficient Representation of Arithmetic for Term Rewriting},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {240--251},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_100},
doi = {10.1007/3-540-53904-2\_100},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/CohenW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CoquideDGV91,
author = {Jean{-}Luc Coquid{\'{e}} and
Max Dauchet and
R{\'{e}}mi Gilleron and
S{\'{a}}ndor V{\'{a}}gv{\"{o}}lgyi},
editor = {Ronald V. Book},
title = {Bottom-Up Tree Pushdown Automata and Rewrite Systems},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {287--298},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_104},
doi = {10.1007/3-540-53904-2\_104},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/CoquideDGV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CurienG91,
author = {Pierre{-}Louis Curien and
Giorgio Ghelli},
editor = {Ronald V. Book},
title = {On Confluence for Weakly Normalizing Systems},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {215--225},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_98},
doi = {10.1007/3-540-53904-2\_98},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/CurienG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DenneheuvelKLS91,
author = {Sieger van Denneheuvel and
Karen L. Kwast and
Gerard R. Renardel de Lavalette and
Edith Spaan},
editor = {Ronald V. Book},
title = {Query Optimization Using Rewrite Rules},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {252--263},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_101},
doi = {10.1007/3-540-53904-2\_101},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/DenneheuvelKLS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DershowitzJK91,
author = {Nachum Dershowitz and
Jean{-}Pierre Jouannaud and
Jan Willem Klop},
editor = {Ronald V. Book},
title = {Open Problems in Rewriting},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {445--456},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_120},
doi = {10.1007/3-540-53904-2\_120},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/DershowitzJK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Deruyver91,
author = {Aline Deruyver},
editor = {Ronald V. Book},
title = {{EMMY:} {A} Refutational Theorem Prover for First-Order Logic with
Equation},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {439--441},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_118},
doi = {10.1007/3-540-53904-2\_118},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Deruyver91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Domenjoud91,
author = {Eric Domenjoud},
editor = {Ronald V. Book},
title = {{AC} Unification Through Order-Sorted {AC1} Unification},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {98--111},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_89},
doi = {10.1007/3-540-53904-2\_89},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Domenjoud91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Dougherty91,
author = {Daniel J. Dougherty},
editor = {Ronald V. Book},
title = {Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended
Abstract)},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {37--48},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_84},
doi = {10.1007/3-540-53904-2\_84},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Dougherty91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DrewesL91,
author = {Frank Drewes and
Clemens Lautemann},
editor = {Ronald V. Book},
title = {Incremental Termination Proofs and the Length of Derivations},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {49--61},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_85},
doi = {10.1007/3-540-53904-2\_85},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/DrewesL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FarmerW91,
author = {William M. Farmer and
Ronald J. Watro},
editor = {Ronald V. Book},
title = {Redex Capturing in Term Graph Rewriting (Concise Version)},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {13--24},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_82},
doi = {10.1007/3-540-53904-2\_82},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/FarmerW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Fraus91,
author = {Ulrich Fraus},
editor = {Ronald V. Book},
title = {A Narrowing-Based Theorem Prover},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {435--436},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_116},
doi = {10.1007/3-540-53904-2\_116},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Fraus91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Graf91,
author = {Albert Gr{\"{a}}f},
editor = {Ronald V. Book},
title = {Left-to-Right Tree Pattern Matching},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {323--334},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_107},
doi = {10.1007/3-540-53904-2\_107},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Graf91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Hermann91,
author = {Miki Hermann},
editor = {Ronald V. Book},
title = {On Proving Properties of Completion Strategies},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {398--410},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_113},
doi = {10.1007/3-540-53904-2\_113},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Hermann91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Hofbauer91,
author = {Dieter Hofbauer},
editor = {Ronald V. Book},
title = {Time Bounded Rewrite Systems and Termination Proofs by Generalized
Embedding},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {62--73},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_86},
doi = {10.1007/3-540-53904-2\_86},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Hofbauer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KennawayKSV91,
author = {Richard Kennaway and
Jan Willem Klop and
M. Ronan Sleep and
Fer{-}Jan de Vries},
editor = {Ronald V. Book},
title = {Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended
Abstract)},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {1--12},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_81},
doi = {10.1007/3-540-53904-2\_81},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/KennawayKSV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kirchner91,
author = {H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Ronald V. Book},
title = {Proofs in Parameterized Specification},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {174--187},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_95},
doi = {10.1007/3-540-53904-2\_95},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Kirchner91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Klay91,
author = {Francis Klay},
editor = {Ronald V. Book},
title = {Undecidable Properties of Syntactic Theories},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {136--149},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_92},
doi = {10.1007/3-540-53904-2\_92},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Klay91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KrischerB91,
author = {Stefan Krischer and
Alexander Bockmayr},
editor = {Ronald V. Book},
title = {Detecting Redundant Narrowing Derivations by the {LSE-SL} Reducability
Test},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {74--85},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_87},
doi = {10.1007/3-540-53904-2\_87},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/KrischerB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kucherov91,
author = {Gregory Kucherov},
editor = {Ronald V. Book},
title = {On Relationship Between Term Rewriting Systems and Regular Tree Languages},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {299--311},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_105},
doi = {10.1007/3-540-53904-2\_105},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/Kucherov91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Marche91,
author = {Claude March{\'{e}}},
editor = {Ronald V. Book},
title = {On Ground AC-Completion},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {411--422},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_114},
doi = {10.1007/3-540-53904-2\_114},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Marche91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/MiddeldorpT91,
author = {Aart Middeldorp and
Yoshihito Toyama},
editor = {Ronald V. Book},
title = {Completeness of Combinations of Constructor Systems},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {188--199},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_96},
doi = {10.1007/3-540-53904-2\_96},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/MiddeldorpT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NarendranR91,
author = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Ronald V. Book},
title = {Any Gound Associative-Commutative Theory Has a Finite Canonical System},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {423--434},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_115},
doi = {10.1007/3-540-53904-2\_115},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/NarendranR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NipkowQ91,
author = {Tobias Nipkow and
Zhenyu Qian},
editor = {Ronald V. Book},
title = {Modular Higher-Order \emph{E}-Unification},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {200--214},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_97},
doi = {10.1007/3-540-53904-2\_97},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/NipkowQ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Pottier91,
author = {Loic Pottier},
editor = {Ronald V. Book},
title = {Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {162--173},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_94},
doi = {10.1007/3-540-53904-2\_94},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Pottier91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/RameshR91,
author = {R. Ramesh and
I. V. Ramakrishnan},
editor = {Ronald V. Book},
title = {Incremental Techniques for Efficient Normalization of Nonlinear Rewrite
Systems},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {335--347},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_108},
doi = {10.1007/3-540-53904-2\_108},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/RameshR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Salomaa91,
author = {Kai Salomaa},
editor = {Ronald V. Book},
title = {Decidability of Confluence and Termination of Monadic Term Rewriting
Systems},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {275--286},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_103},
doi = {10.1007/3-540-53904-2\_103},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Salomaa91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Sattler-Klein91,
author = {Andrea Sattler{-}Klein},
editor = {Ronald V. Book},
title = {Divergence Phenomena during Completion},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {374--385},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_111},
doi = {10.1007/3-540-53904-2\_111},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Sattler-Klein91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SnyderL91,
author = {Wayne Snyder and
Christopher Lynch},
editor = {Ronald V. Book},
title = {Goal Directed Strategies for Paramodulation},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {150--161},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_93},
doi = {10.1007/3-540-53904-2\_93},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/SnyderL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Socher-Ambrosius91,
author = {Rolf Socher{-}Ambrosius},
editor = {Ronald V. Book},
title = {Boolean Algebra Admits No Convergent Term Rewriting System},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {264--274},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_102},
doi = {10.1007/3-540-53904-2\_102},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Socher-Ambrosius91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Wolfram91,
author = {David A. Wolfram},
editor = {Ronald V. Book},
title = {Rewriting, and Equational Unification: the Higher-Order Cases},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {25--36},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_83},
doi = {10.1007/3-540-53904-2\_83},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Wolfram91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/1991,
editor = {Ronald V. Book},
title = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2},
doi = {10.1007/3-540-53904-2},
isbn = {3-540-53904-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-30 18:36 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
