Publikation

Eine Matrixcharakterisierung für ein Fragment der linearen Logik

Heiko Mantel

Mastersthesis TH-Darmstadt Germany 12/1996.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence