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: English
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: 09 Apr 2010 14:10
Additional Information:

kreitz.ea:matrix:2004a

Export:

Optionen (nur für Redakteure)

View Item View Item