Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
16 Publications
2006 | Conference Paper | LibreCat-ID: 3327
@inproceedings{Stein_Niggemann_Lettmann_2006, title={Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT}, booktitle={AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications}, author={Stein, Benno and Niggemann, Oliver and Lettmann, Theodor}, year={2006}, pages={273--278} }
LibreCat
1999 | Journal Article | LibreCat-ID: 19815
@article{Kleine Büning_Lettmann_1999, title={Resolution remains hard under equivalence}, DOI={10.1016/s0166-218x(99)00055-4}, journal={Discrete Applied Mathematics}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1999}, pages={139–148} }
LibreCat
| DOI
1999 | Book | LibreCat-ID: 3339
@book{Lettmann_Kleine Büning_1999, series={Cambridge tracts in theoretical computer science}, title={Propositional Logic : Deduction and Algorithms}, publisher={Cambridge Univ. Press}, author={Lettmann, Theodor and Kleine Büning, Hans}, year={1999}, collection={Cambridge tracts in theoretical computer science} }
LibreCat
1996 | Book Chapter | LibreCat-ID: 19816
@inbook{Kleine Büning_Lettmann_1996, place={Berlin, Heidelberg}, title={Learning a representation for optimizable formulas}, DOI={10.1007/3-540-61863-5_33}, booktitle={Lecture Notes in Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1996} }
LibreCat
| DOI
1994 | Book | LibreCat-ID: 3333
@book{Kleine Büning_Lettmann_1994, series={Leitfäden und Monographien der Informatik}, title={Aussagenlogik - Deduktion und Algorithmen}, DOI={10.1007/978-3-322-84809-3}, publisher={Teubner}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1994}, collection={Leitfäden und Monographien der Informatik} }
LibreCat
| DOI
1993 | Journal Article | LibreCat-ID: 19814
@article{Flögel_Kleine Büning_Lettmann_1993, title={On the restricted equivalence for subclasses of propositional logic}, DOI={10.1051/ita/1993270403271}, journal={RAIRO - Theoretical Informatics and Applications}, author={Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}, year={1993}, pages={327–340} }
LibreCat
| DOI
1991 | Report | LibreCat-ID: 19822
@book{Dahn_Lettmann_Schönfeld_1991, place={´Heidelberg}, series={IWBS Report}, title={ILFA Interface Concept}, volume={193}, publisher={Wissenschaftliche Zentrum der IBM Deutschland }, author={Dahn, Bernd I. and Lettmann, Theodor and Schönfeld, Wolfgang}, year={1991}, collection={IWBS Report} }
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
@article{Kleine Büning_Lettmann_Mayr_1989, title={Projections of vector addition system reachability sets are semilinear}, DOI={10.1016/0304-3975(89)90055-8}, journal={Theoretical Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W.}, year={1989}, pages={343–350} }
LibreCat
| DOI
1988 | Conference Paper | LibreCat-ID: 19820
@inproceedings{Kleine Büning_Lettmann_1988, place={Berlin, Heidelberg}, title={Perspektiven für die Logikprogrammierung}, booktitle={Workshop Wissensrepräsentation in Expertensystemen}, author={Kleine Büning, Hans and Lettmann, Theodor}, editor={Rahmstorf, G.Editor}, year={1988}, pages={56–78} }
LibreCat
1987 | Book Chapter | LibreCat-ID: 19821
@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={10.1007/3-540-18170-9_167}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 19819
@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes of first order formulas under various satisfiability definitions}, DOI={10.1007/3-540-16780-3_119}, booktitle={8th International Conference on Automated Deduction}, author={Kleine Büning, H. and Lettmann, Theodor}, year={1986} }
LibreCat
| DOI