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, pp. 121--166, 32, [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
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

Optionen (nur für Redakteure)

View Item View Item