TU Darmstadt / ULB / TUbiblio

A Matrix Characterization for Multiplicative Exponential Linear Logic

Kreitz, Christoph and 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]

Item Type: Report
Erschienen: 2000
Creators: Kreitz, Christoph and Mantel, Heiko
Title: A Matrix Characterization for Multiplicative Exponential Linear Logic
Language: English
Series Name: kreitz.ea:a-matrix-characterization-for-multiplicative-exponential-linear-logic:2000b Revised version appeared in 2004 in Journal of Automated Reasoning
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:a-matrix-characterization-for-multiplicative-exponential-linear-logic:2000b Revised version appeared in 2004 in Journal of Automated Reasoning

Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item