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, H., Lettmann, T., & Mayr, E. W. (1989). Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science, 343–350.
LibreCat | DOI

1988 | Conference Paper | LibreCat-ID: 19820
Kleine Büning, H., & Lettmann, T. (1988). Perspektiven für die Logikprogrammierung. In G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen (pp. 56–78). Berlin, Heidelberg.

1987 | Book Chapter | LibreCat-ID: 19821
Büning, H. K., & Lettmann, T. (1987). Representation independent query and update operations on propositional definite Horn formulas. In E. Börger (Ed.), Computation Theory and Logic (pp. 208–223). Berlin, Heidelberg.
LibreCat | DOI

1986 | Book Chapter | LibreCat-ID: 19819
Kleine Büning, H., & Lettmann, T. (1986). Classes of first order formulas under various satisfiability definitions. In 8th International Conference on Automated Deduction. Berlin, Heidelberg.
LibreCat | DOI

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: APA

Export / Embed