Publikation

A Matrix Characterization for MELL

Heiko Mantel, Christoph Kreitz

In: J. Dix , L. Farinas del Cerro , U. Furbach (Hrsg.). Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. Logics in Artificial Intelligence, European Workshop (JELIA) Dagstuhl Seiten 169-183 LNAI 1489 Springer 10/1998.

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