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: 8.

Kreitz, Christoph ; Mantel, Heiko (2004)
A Matrix Characterization for Multiplicative Exponential Linear Logic.
In: Automated Reasoning (JAR), Kluwer, 32
Article, Bibliographie

Kreitz, Christoph ; Mantel, Heiko (2004)
A Matrix Characterization for Multiplicative Exponential Linear Logic.
In: Automated Reasoning (JAR), Kluwer, 32
Article, Bibliographie

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

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

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

Mantel, Heiko ; Kreitz, Christoph
eds.: Dix, Jürgen ; del Cerro, Luis Farinas ; Furbach, Ulrich (1998)
A Matrix Characterization for MELL.
In: Logics in Artificial Intelligence, European Workshop, JELIA '98 : Proceedings
Book Section, Bibliographie

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

Kreitz, Christoph ; Lau, Kung-Kiu ; Ornaghi, Mario
eds.: Gabbay, Dov M. ; Ohlbach, Hans Jürgen (1996)
Formal reasoning about modules, reuse, and their correctness.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Apr 23 01:31:49 2024 CEST.