Export 1 results:
Filters: Author is S. Martini  [Clear All Filters]
Artemov, S., Strassen, T.: The Basic Logic of Proofs. In: Börger, E., Jäger, G., Kleine Büning, H., Martini, S., and Richter, M.M. Computer Science Logic, 6th Workshop, CSL'92, San Miniato, Italy, September 28–October 2, 1992, Selected Papers. pp. 14-28. Springer (1993).