default search action
BibTeX 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.