dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Leo Bachmair (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan: Subsumption Algorithms Based on Search Trees. CAAP 1996: 135-148
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin: Experiments with Associative-Commutative Discrimination Nets. IJCAI 1995: 348-355
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo Bachmair, Ta Chen, I. V. Ramakrishnan: Associative-Commutative Discrimination Nets. TAPSOFT 1993: 61-74

Selection of 3 from 48 records - Leo Bachmair has 21 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page