MELL in the Calculus of Structures

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

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