TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: 1999 | 1997
Number of items: 3.

1999

Mantel, Heiko ; Otten, Jens
ed.: Murray, Neil V. (1999)
linTAP: A Tableau Prover for Linear Logic.
Conference or Workshop Item, Bibliographie

1997

Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan
ed.: McCune, William (1997)
Connection-Based Proof Construction in Linear Logic.
Conference or Workshop Item, Bibliographie

Otten, Jens (1997)
ilean TAP: An intuitionistic theorem prover.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Apr 23 00:06:14 2024 CEST.