TU Darmstadt / ULB / TUbiblio

A Matrix Characterization for Multiplicative Exponential Linear Logic

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

Item Type: Article
Erschienen: 2004
Creators: Kreitz, Christoph and Mantel, Heiko
Title: A Matrix Characterization for Multiplicative Exponential Linear Logic
Language: ["languages_typename_1" not defined]
Journal or Publication Title: Automated Reasoning (JAR), Kluwer
Journal volume: 32
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 31 Dec 2016 09:57
Identification Number: kreitz.ea:matrix:2004
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details