Publications

Export 1 results:
Filters: Author is Hans Kleine Büning  [Clear All Filters]
1996
Heuerding, A., Schwendimann, S.: On the modal logic K plus theories. In: Büning, H.K. Proceedings of Computer Science Logic '95. pp. 308-319. Springer (1996).