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
Number of items: 7.

Kreitz, Christoph and Mantel, Heiko (2004):
A Matrix Characterization for Multiplicative Exponential Linear Logic.
In: Automated Reasoning (JAR), Kluwer, pp. 121--166, 32, [Article]

Kreitz, Christoph and Mantel, Heiko (2004):
A Matrix Characterization for Multiplicative Exponential Linear Logic.
In: Automated Reasoning (JAR), Kluwer, pp. 121-166, 32, [Article]

Kreitz, Christoph and Mantel, Heiko (2000):
A Matrix Characterization for Multiplicative Exponential Linear Logic.
[Report]

Kreitz, Christoph and Mantel, Heiko (2000):
A Matrix Characterization for Multiplicative Exponential Linear Logic.
In: kreitz.ea:a-matrix-characterization-for-multiplicative-exponential-linear-logic:2000b Revised version appeared in 2004 in Journal of Automated Reasoning, [Report]

Kreitz, Christoph and Otten, J. (1999):
Connection-based theorem proving in classical and non-classical logics.
In: Journal of universal computer science, pp. 88-112, 5, [Article]

Mantel, Heiko and Kreitz, Christoph
Dix, Jürgen and del Cerro, Luis Farinas and Furbach, Ulrich (eds.) (1998):
A Matrix Characterization for MELL.
In: Logics in Artificial Intelligence, European Workshop, JELIA '98 : Proceedings, Berlin ; Heidelberg, Springer, pp. 169-183, [Book Section]

Kreitz, Christoph and Mantel, Heiko and Otten, Jens and Schmitt, Stephan
McCune, William (ed.) (1997):
Connection-Based Proof Construction in Linear Logic.
In: 14th International Conference on Automated Deduction, CADE-14, Townsville, Australia, Springer, In: LNAI 1249, [Conference or Workshop Item]

This list was generated on Tue Oct 15 00:23:36 2019 CEST.