Eine Matrixcharakterisierung für ein Fragment der linearen Logik
Heiko Mantel
Mastersthesis, TH-Darmstadt, Germany, 12/1996.
Eine Matrixcharakterisierung für ein Fragment der linearen Logik
@masterthesis{pub1542,
author = {
Mantel, Heiko
},
title = {Eine Matrixcharakterisierung für ein Fragment der linearen Logik},
year = {1996},
month = {12}
}