From Linear Proofs to Direct Logic with Exponentials

PublikationenPublications

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

Toggle side column

From Linear Proofs to Direct Logic with Exponentials

Enno SandnerEnno Sandner

Enno Sandner
From Linear Proofs to Direct Logic with Exponentials
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 135-146, 1997

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{S1997,
  author    = {Enno Sandner},
  title     = {From Linear Proofs to Direct Logic with Exponentials},
  editor    = {G. Brewka and C. Habel and B. Nebel},
  booktitle = {KI-97: Advances in {AI}},
  year      = {1997},
  pages     = {135-146}
}