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: Wissensverarbeitung
@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}
}