Skip to main content Skip to main navigation

Publikation

Eine Matrixcharakterisierung für ein Fragment der linearen Logik

Heiko Mantel
Mastersthesis, TH-Darmstadt, Germany, 12/1996.