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 ; Mantel, Heiko (2004):
A Matrix Characterization for Multiplicative Exponential Linear Logic.
In: Automated Reasoning (JAR), Kluwer, 32, pp. 121--166. [Article]

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

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

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

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

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

This list was generated on Sat Jun 19 00:37:45 2021 CEST.