MELL in the Calculus of Structures

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

MELL in the Calculus of Structures

Lutz StraßburgerLutz Straßburger

• Download

Lutz Straßburger
MELL in the Calculus of Structures
Theoretical Computer Science, 309(1--3):213-285, 2003

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@article{S2003,
  author  = {Lutz Stra{\ss}burger},
  title   = {MELL in the Calculus of Structures},
  journal = {Theoretical Computer Science},
  volume  = {309},
  number  = {1--3},
  year    = {2003},
  pages   = {213-285}
}