From Linear Proofs to Direct Logic with Exponentials
Aus International Center for Computational Logic
From Linear Proofs to Direct Logic with Exponentials
Enno SandnerEnno Sandner
![From Linear Proofs to Direct Logic with Exponentials From Linear Proofs to Direct Logic with Exponentials](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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
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
- 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}
}