sign in · help · news · about ·

BibSonomy :: author :: Bachmair ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(249)

<< < 1 | 2 | 3 > >>

Rewrite Techniques for Transitive Relations
Leo Bachmair, and Harald Ganzinger LICS, page 384-393. IEEE Computer Society, (1994)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Proof by Consistency in Equational Theories
Leo Bachmair LICS, page 228-233. IEEE Computer Society, (1988)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Set Constraints are the Monadic Class
Leo Bachmair, Harald Ganzinger, and Uwe Waldmann LICS, page 75-83. IEEE Computer Society, (1993)
to dblp by dblp and 1 other user on Jan 20, 2012, 12:00 AM
URL | BibTeX
A Social Semiotic Analysis of Mobile Devices: Interrelations of Technology and Social Habitus
Norbert Pachler, John Cook, Ben Bachmair, Norbert Pachler, Ben Bachmair, and John Cook Mobile Learning, Springer US, 10.1007/978-1-4419-0585-7_7 . (2010)
to learning mlearning mobile semiotic social by yish on Nov 23, 2011, 3:15 PM
URL | BibTeX
Termination Orderings for Associative-Commutative Rewriting Systems.
Leo Bachmair, and David A. Plaisted J. Symb. Comput. 1(4):329-349 (1985)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Critical Pair Criteria for Completion.
Leo Bachmair, and Nachum Dershowitz J. Symb. Comput. 6(1):1-18 (1988)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Completion for Rewriting Modulo a Congruence.
Leo Bachmair, and Nachum Dershowitz Theor. Comput. Sci. 67(2&3):173-201 (1989)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
On the Combination of Congruence Closure and Completion.
Christelle Scharff, and Leo Bachmair AISC, volume 3249 of Lecture Notes in Computer Science, page 103-117. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Associative-Commutative Reduction Orderings.
Leo Bachmair Inf. Process. Lett. 43(1):21-27 (1992)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Basic Paramodulation
Leo Bachmair, Harald Ganzinger, Christopher Lynch, and Wayne Snyder Inf. Comput. 121(2):172-192 (September 1995)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Rewrite-Based Equational Theorem Proving with Selection and Simplification.
Leo Bachmair, and Harald Ganzinger J. Log. Comput. 4(3):217-247 (1994)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Associative-Commutative Superposition.
Leo Bachmair, and Harald Ganzinger CTRS, volume 968 of Lecture Notes in Computer Science, page 1-14. Springer, (1994)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Congruence Closure Modulo Associativity and Commutativity.
Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, and Laurent Vigneron FroCos, volume 1794 of Lecture Notes in Computer Science, page 245-259. Springer, (2000)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Paramodulation, Superposition, and Simplification.
Leo Bachmair Kurt Gödel Colloquium, volume 1289 of Lecture Notes in Computer Science, page 1-3. Springer, (1997)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
Evaluation of the synchronous generation and sampling technique.
Waldemar G. Kürten Ihlenfeld, Enrico Mohns, Hans Bachmair, Günther Ramm, and Harald Moser IEEE T. Instrumentation and Measurement 52(2):371-374 (2003)
to dblp by dblp on Jun 14, 2011, 12:00 AM
URL | BibTeX
Characterization of a high-resolution analog-to-digital converter with a Josephson AC voltage source.
Waldemar G. Kürten, Enrico Mohns, Ralf Behr, Jonathan M. Williams, Pravin Patel, Günther Ramm, and Hans Bachmair IEEE T. Instrumentation and Measurement 54(2):649-652 (2005)
to dblp by dblp on May 26, 2011, 12:00 AM
URL | BibTeX
Mobile Learning: Structures, Agency, Practices
N. Pachler, B. Bachmair, J. Cook, and G. Kress Springer, Berlin, (2009)
to m-learning mobile_learning pachler pachler2009 by mleidl on Apr 21, 2011, 4:25 PM
BibTeX
Appropriation of Mobile Cultural Resources for Learning.
Norbert Pachler, John Cook, and Ben Bachmair IJMBL 2(1):1-21 (2010)
to dblp by dblp on Jan 10, 2011, 12:00 AM
URL | BibTeX
Refutational Theorem Proving for Hierarchic First-Order Theories.
Leo Bachmair, Harald Ganzinger, and Uwe Waldmann Appl. Algebra Eng. Commun. Comput. (1994)
to dblp by dblp on Dec 11, 2010, 12:00 AM
URL | BibTeX
Medienwissen für Pädagogen
Ben Bachmair VS Verlag für Sozialwissenschaften, Wiesbaden, (2009)
to Bildungschancen Medienbildung Medienkompetenz Medienpädagogik by learnforge on Nov 4, 2010, 5:46 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100