TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 3.
1999
Mantel, Heiko ; Otten, Jens
Hrsg.: Murray, Neil V. (1999)
linTAP: A Tableau Prover for Linear Logic.
Konferenzveröffentlichung, Bibliographie
1997
Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan
Hrsg.: McCune, William (1997)
Connection-Based Proof Construction in Linear Logic.
Konferenzveröffentlichung, Bibliographie
Otten, Jens (1997)
ilean TAP: An intuitionistic theorem prover.
Konferenzveröffentlichung, Bibliographie