Publications

Export 1 results:
Filters: Author is Friedrich Ludwig Bauer  [Clear All Filters]
1993
Jäger, G.: Some proof-theoretic aspects of logic programming. In: Bauer, F.L., Brauer, W., and Schwichtenberg, H. Logic and Algebra of Specification. pp. 113-142. Springer (1993).