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.

434 Publications


1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning, Hans, et al. “Projections of Vector Addition System Reachability Sets Are Semilinear.” Theoretical Computer Science, 1989, pp. 343–50, doi:10.1016/0304-3975(89)90055-8.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 19820
Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.” Workshop Wissensrepräsentation in Expertensystemen, edited by G. Rahmstorf, 1988, pp. 56–78.
LibreCat
 

1987 | Book Chapter | LibreCat-ID: 19821
Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” Computation Theory and Logic, edited by Egon Börger, 1987, pp. 208–23, doi:10.1007/3-540-18170-9_167.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 19819
Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” 8th International Conference on Automated Deduction, 1986, doi:10.1007/3-540-16780-3_119.
LibreCat | DOI
 

Filters and Search Terms

department=355

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed