MELL in the Calculus of Structures

Lutz StraßburgerLutz Straßburger

Download

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

Details
Bibtex

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