Publications

Export 1 results:
Filters: Author is Lange, Martin  [Clear All Filters]
2008
Brünnler, K., Lange, M.: Cut-free sequent systems for temporal logic. Journal of Logic and Algebraic Programming. 76, 216-225 (2008).