MELL in the Calculus of Structures
From International Center for Computational Logic
MELL in the Calculus of Structures
Lutz StraßburgerLutz Straßburger
Lutz Straßburger
MELL in the Calculus of Structures
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-03, 2001
MELL in the Calculus of Structures
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-03, 2001
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{S2001,
author = {Lutz Stra{\ss}burger},
title = {MELL in the Calculus of Structures},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {2001}
}