default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Leo Bachmair
@inproceedings{DBLP:conf/iccS/AgronBN05,
author = {Paul Agron and
Leo Bachmair and
Frank Nielsen},
editor = {Vaidy S. Sunderam and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {A Visual Interactive Framework for Formal Derivation},
booktitle = {Computational Science - {ICCS} 2005, 5th International Conference,
Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3514},
pages = {1019--1026},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11428831\_127},
doi = {10.1007/11428831\_127},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccS/AgronBN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/ScharffB04,
author = {Christelle Scharff and
Leo Bachmair},
editor = {Bruno Buchberger and
John A. Campbell},
title = {On the Combination of Congruence Closure and Completion},
booktitle = {Artificial Intelligence and Symbolic Computation, 7th International
Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3249},
pages = {103--117},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30210-0\_10},
doi = {10.1007/978-3-540-30210-0\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/ScharffB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BachmairTV03,
author = {Leo Bachmair and
Ashish Tiwari and
Laurent Vigneron},
title = {Abstract Congruence Closure},
journal = {J. Autom. Reason.},
volume = {31},
number = {2},
pages = {129--168},
year = {2003},
url = {https://doi.org/10.1023/B:JARS.0000009518.26415.49},
doi = {10.1023/B:JARS.0000009518.26415.49},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BachmairTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/RV01/BachmairG01,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {John Alan Robinson and
Andrei Voronkov},
title = {Resolution Theorem Proving},
booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
pages = {19--99},
publisher = {Elsevier and {MIT} Press},
year = {2001},
url = {https://doi.org/10.1016/b978-044450813-3/50004-7},
doi = {10.1016/B978-044450813-3/50004-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/RV01/BachmairG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairT00,
author = {Leo Bachmair and
Ashish Tiwari},
editor = {David A. McAllester},
title = {Abstract Congruence Closure and Specializations},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {64--78},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_5},
doi = {10.1007/10721959\_5},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BachmairT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TiwariBR00,
author = {Ashish Tiwari and
Leo Bachmair and
Harald Rue{\ss}},
editor = {David A. McAllester},
title = {Rigid \emph{E}-Unification Revisited},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {220--234},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_17},
doi = {10.1007/10721959\_17},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/TiwariBR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BachmairRTV00,
author = {Leo Bachmair and
I. V. Ramakrishnan and
Ashish Tiwari and
Laurent Vigneron},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Congruence Closure Modulo Associativity and Commutativity},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {245--259},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_16},
doi = {10.1007/10720084\_16},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BachmairRTV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2000,
editor = {Leo Bachmair},
title = {Rewriting Techniques and Applications, 11th International Conference,
{RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1833},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721975},
doi = {10.1007/10721975},
isbn = {3-540-67778-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BachmairRRT99,
author = {Leo Bachmair and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Ashish Tiwari},
editor = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {Normalization via Rewrite Closures},
booktitle = {Rewriting Techniques and Applications, 10th International Conference,
RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1631},
pages = {190--204},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48685-2\_15},
doi = {10.1007/3-540-48685-2\_15},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BachmairRRT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BachmairG98,
author = {Leo Bachmair and
Harald Ganzinger},
title = {Ordered Chaining Calculi for First-Order Theories of Transitive Relations},
journal = {J. {ACM}},
volume = {45},
number = {6},
pages = {1007--1049},
year = {1998},
url = {https://doi.org/10.1145/293347.293352},
doi = {10.1145/293347.293352},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BachmairG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairG98,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Strict Basic Superposition},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {160--174},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054258},
doi = {10.1007/BFB0054258},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BachmairG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairGV98,
author = {Leo Bachmair and
Harald Ganzinger and
Andrei Voronkov},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Elimination of Equality via Transformation with Ordering Constraints},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {175--190},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054259},
doi = {10.1007/BFB0054259},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BachmairGV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/LifantsevB98,
author = {Maxim Lifantsev and
Leo Bachmair},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {277--293},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055142},
doi = {10.1007/BFB0055142},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/LifantsevB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Bachmair97,
author = {Leo Bachmair},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Paramodulation, Superposition, and Simplification},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {1--3},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_28},
doi = {10.1007/3-540-63385-5\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Bachmair97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BachmairT97,
author = {Leo Bachmair and
Ashish Tiwari},
editor = {Hubert Comon},
title = {D-Bases for Polynomial Ideals over Commutative Noetherian Rings},
booktitle = {Rewriting Techniques and Applications, 8th International Conference,
RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1232},
pages = {113--127},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62950-5\_65},
doi = {10.1007/3-540-62950-5\_65},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/BachmairT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BachmairCRR96,
author = {Leo Bachmair and
Ta Chen and
C. R. Ramakrishnan and
I. V. Ramakrishnan},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Subsumption Algorithms Based on Search Trees},
booktitle = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium,
Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1059},
pages = {135--148},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61064-2\_34},
doi = {10.1007/3-540-61064-2\_34},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caap/BachmairCRR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BachmairGLS95,
author = {Leo Bachmair and
Harald Ganzinger and
Christopher Lynch and
Wayne Snyder},
title = {Basic Paramodulation},
journal = {Inf. Comput.},
volume = {121},
number = {2},
pages = {172--192},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1131},
doi = {10.1006/INCO.1995.1131},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BachmairGLS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BachmairCRAC95,
author = {Leo Bachmair and
Ta Chen and
I. V. Ramakrishnan and
Siva Anantharaman and
Jacques Chabin},
title = {Experiments with Associative-Commutative Discrimination Nets},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {348--355},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/046.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BachmairCRAC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/BachmairGW94,
author = {Leo Bachmair and
Harald Ganzinger and
Uwe Waldmann},
title = {Refutational Theorem Proving for Hierarchic First-Order Theories},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {5},
pages = {193--212},
year = {1994},
url = {https://doi.org/10.1007/BF01190829},
doi = {10.1007/BF01190829},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/BachmairGW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BachmairD94,
author = {Leo Bachmair and
Nachum Dershowitz},
title = {Equational Inference, Canonical Proofs, and Proof Orderings},
journal = {J. {ACM}},
volume = {41},
number = {2},
pages = {236--276},
year = {1994},
url = {https://doi.org/10.1145/174652.174655},
doi = {10.1145/174652.174655},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BachmairD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BachmairG94,
author = {Leo Bachmair and
Harald Ganzinger},
title = {Rewrite-Based Equational Theorem Proving with Selection and Simplification},
journal = {J. Log. Comput.},
volume = {4},
number = {3},
pages = {217--247},
year = {1994},
url = {https://doi.org/10.1093/logcom/4.3.217},
doi = {10.1093/LOGCOM/4.3.217},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BachmairG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairG94,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Alan Bundy},
title = {Ordered Chaining for Total Orderings},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {435--450},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_32},
doi = {10.1007/3-540-58156-1\_32},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BachmairG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccl/BachmairG94,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Jean{-}Pierre Jouannaud},
title = {Buchberger's Algorithm: {A} Constraint-Based Completion Procedure},
booktitle = {Constraints in Computational Logics, First International Conference,
CCL'94, Munich, Germany, September 7-9, 1994},
series = {Lecture Notes in Computer Science},
volume = {845},
pages = {285--301},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0016860},
doi = {10.1007/BFB0016860},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ccl/BachmairG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BachmairGS94,
author = {Leo Bachmair and
Harald Ganzinger and
J{\"{u}}rgen Stuber},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Combining Algebra and Universal Algebra in First-Order Theorem Proving:
The Case of Commutative Rings},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {1--29},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014420},
doi = {10.1007/BFB0014420},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/BachmairGS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/BachmairG94,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Nachum Dershowitz and
Naomi Lindenstrauss},
title = {Associative-Commutative Superposition},
booktitle = {Conditional and Typed Rewriting Systems, 4th International Workshop,
CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {968},
pages = {1--14},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60381-6\_1},
doi = {10.1007/3-540-60381-6\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/BachmairG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BachmairG94,
author = {Leo Bachmair and
Harald Ganzinger},
title = {Rewrite Techniques for Transitive Relations},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {384--393},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316051},
doi = {10.1109/LICS.1994.316051},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BachmairG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/BachmairGW93,
author = {Leo Bachmair and
Harald Ganzinger and
Uwe Waldmann},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Superposition with Simplification as a Desision Procedure for the
Monadic Class with Equality},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {83--96},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022557},
doi = {10.1007/BFB0022557},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/BachmairGW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BachmairGW93,
author = {Leo Bachmair and
Harald Ganzinger and
Uwe Waldmann},
title = {Set Constraints are the Monadic Class},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {75--83},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287598},
doi = {10.1109/LICS.1993.287598},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BachmairGW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bachmair93,
author = {Leo Bachmair},
editor = {Claude Kirchner},
title = {Rewrite Techniques in Theorem Proving (Abstract)},
booktitle = {Rewriting Techniques and Applications, 5th International Conference,
RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {690},
pages = {1},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-662-21551-7\_1},
doi = {10.1007/978-3-662-21551-7\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Bachmair93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BachmairCR93,
author = {Leo Bachmair and
Ta Chen and
I. V. Ramakrishnan},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Associative-Commutative Discrimination Nets},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {61--74},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_56},
doi = {10.1007/3-540-56610-4\_56},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BachmairCR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Bachmair92,
author = {Leo Bachmair},
title = {Associative-Commutative Reduction Orderings},
journal = {Inf. Process. Lett.},
volume = {43},
number = {1},
pages = {21--27},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90024-P},
doi = {10.1016/0020-0190(92)90024-P},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Bachmair92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BachmairGW92,
author = {Leo Bachmair and
Harald Ganzinger and
Uwe Waldmann},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Theorem Proving for Hierarchic First-Order Theories},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {420--434},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013841},
doi = {10.1007/BFB0013841},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/BachmairGW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairGLS92,
author = {Leo Bachmair and
Harald Ganzinger and
Christopher Lynch and
Wayne Snyder},
editor = {Deepak Kapur},
title = {Basic Paramodulation and Superposition},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {462--476},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_185},
doi = {10.1007/3-540-55602-8\_185},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BachmairGLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BachmairG92,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Andrei Voronkov},
title = {Non-Clausal Resolution and Superposition with Selection and Redundancy
Criteria},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {273--284},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013068},
doi = {10.1007/BFB0013068},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BachmairG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BachmairG91,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Koichi Furukawa},
title = {Perfect Model Semantics for Logic Programs with Equality},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {645--659},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BachmairG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairG90,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Mark E. Stickel},
title = {On Restrictions of Ordered Paramodulation with Simplification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {427--441},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_105},
doi = {10.1007/3-540-52885-7\_105},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BachmairG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/BachmairG90,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {St{\'{e}}phane Kaplan and
Mitsuhiro Okada},
title = {Completion of First-Order Clauses with Equality by Strict Superposition
(Extended Abstract)},
booktitle = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {516},
pages = {162--180},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54317-1\_89},
doi = {10.1007/3-540-54317-1\_89},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/BachmairG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BachmairD89,
author = {Leo Bachmair and
Nachum Dershowitz},
title = {Completion for Rewriting Modulo a Congruence},
journal = {Theor. Comput. Sci.},
volume = {67},
number = {2{\&}3},
pages = {173--201},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90003-0},
doi = {10.1016/0304-3975(89)90003-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BachmairD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bachmair89,
author = {Leo Bachmair},
editor = {Nachum Dershowitz},
title = {Proof Normalization for Resolution and Paramodulation},
booktitle = {Rewriting Techniques and Applications, 3rd International Conference,
RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {355},
pages = {15--28},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51081-8\_97},
doi = {10.1007/3-540-51081-8\_97},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Bachmair89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BachmairD88,
author = {Leo Bachmair and
Nachum Dershowitz},
title = {Critical Pair Criteria for Completion},
journal = {J. Symb. Comput.},
volume = {6},
number = {1},
pages = {1--18},
year = {1988},
url = {https://doi.org/10.1016/S0747-7171(88)80018-X},
doi = {10.1016/S0747-7171(88)80018-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BachmairD88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Bachmair88,
author = {Leo Bachmair},
title = {Proof by Consistency in Equational Theories},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {228--233},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5122},
doi = {10.1109/LICS.1988.5122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Bachmair88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/BachmairD87,
author = {Leo Bachmair and
Nachum Dershowitz},
editor = {James H. Davenport},
title = {A critical pair criterion for completion modulo a congruence},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {452--453},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_151},
doi = {10.1007/3-540-51517-8\_151},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/BachmairD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BachmairD87,
author = {Leo Bachmair and
Nachum Dershowitz},
title = {Inference Rules for Rewrite-Based First-Order Theorem Proving},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {331--337},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BachmairD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BachmairD87,
author = {Leo Bachmair and
Nachum Dershowitz},
editor = {Pierre Lescanne},
title = {Completion for Rewriting Modulo a Congruence},
booktitle = {Rewriting Techniques and Applications, 2nd International Conference,
RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {256},
pages = {192--203},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17220-3\_17},
doi = {10.1007/3-540-17220-3\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/BachmairD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairD86,
author = {Leo Bachmair and
Nachum Dershowitz},
editor = {J{\"{o}}rg H. Siekmann},
title = {Commutation, Transformation, and Termination},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {5--20},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_76},
doi = {10.1007/3-540-16780-3\_76},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BachmairD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BachmairD86,
author = {Leo Bachmair and
Nachum Dershowitz},
editor = {Bruce W. Char},
title = {Critical-pair criteria for the Knuth-Bendix completion procedure},
booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
{SYMSAC} 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
pages = {215--217},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/32439.32481},
doi = {10.1145/32439.32481},
timestamp = {Mon, 21 Mar 2022 21:50:23 +0100},
biburl = {https://dblp.org/rec/conf/issac/BachmairD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BachmairDH86,
author = {Leo Bachmair and
Nachum Dershowitz and
Jieh Hsiang},
title = {Orderings for Equational Proofs},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {346--357},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BachmairDH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BachmairP85,
author = {Leo Bachmair and
David A. Plaisted},
title = {Termination Orderings for Associative-Commutative Rewriting Systems},
journal = {J. Symb. Comput.},
volume = {1},
number = {4},
pages = {329--349},
year = {1985},
url = {https://doi.org/10.1016/S0747-7171(85)80019-5},
doi = {10.1016/S0747-7171(85)80019-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BachmairP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BachmairP85,
author = {Leo Bachmair and
David A. Plaisted},
editor = {Jean{-}Pierre Jouannaud},
title = {Associative Path Orderings},
booktitle = {Rewriting Techniques and Applications, First International Conference,
RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {202},
pages = {241--254},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15976-2\_11},
doi = {10.1007/3-540-15976-2\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/BachmairP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/BachmairB80,
author = {Leo Bachmair and
Bruno Buchberger},
title = {A simplified proof of the characterization theorem for Gr{\"{o}}bner-bases},
journal = {{SIGSAM} Bull.},
volume = {14},
number = {4},
pages = {29--34},
year = {1980},
url = {https://doi.org/10.1145/1089235.1089238},
doi = {10.1145/1089235.1089238},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/BachmairB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-24 22:46 CEST 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:
