Theodor Lettmann Coauthor index DBLP Vis pubzone.org

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

DBLP keys2006
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenno Stein, Oliver Niggemann, Theodor Lettmann: Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT. Artificial Intelligence and Applications 2006: 273-278
1999
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Kleine Büning, Theodor Lettmann: Resolution Remains Hard Under Equivalence. Discrete Applied Mathematics 96-97: 139-148 (1999)
1996
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Kleine Büning, Theodor Lettmann: Learning a Representation for Optimizable Formulas. ALT 1996: 51-58
1993
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Flögel, Hans Kleine Büning, Theodor Lettmann: On the Restricted Equivalence Subclasses of Propositional Logic. ITA 27(4): 327-340 (1993)
1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd I. Dahn, Theodor Lettmann, Wolfgang Schönfeld: ILFA Interface Concept IWBS Report 193: (1991)
1989
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Kleine Büning, Theodor Lettmann, Ernst W. Mayr: Projections of Vector Addition System Reachability Sets are Semilinear. Theor. Comput. Sci. 64(3): 343-350 (1989)
1987
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Kleine Büning, Theodor Lettmann: Representation Independent Query and Update Operations on Propositional Definite Horn Formulas. Computation Theory and Logic 1987: 208-223
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Kleine Büning, Theodor Lettmann: Perspektiven für die Logikprogrammierung. Wissensrepräsentation in Expertensystemen 1987: 56-78
1986
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Kleine Büning, Theodor Lettmann: Classes of First Order Formulas Under Various Satisfiability Definitions. CADE 1986: 553-563

Coauthor Index

1Hans Kleine Büning [1] [2] [3] [4] [6] [7] [8]
2Ingo Dahn (Bernd I. Dahn) [5]
3Andreas Flögel [6]
4Ernst W. Mayr [4]
5Oliver Niggemann [9]
6Wolfgang Schönfeld [5]
7Benno Stein [9]

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)