Reducing Nondeterminism in the Calculus of Structures
Aus International Center for Computational Logic
Reducing Nondeterminism in the Calculus of Structures
Ozan KahramanoğullarıOzan Kahramanoğulları
![Reducing Nondeterminism in the Calculus of Structures Reducing Nondeterminism in the Calculus of Structures](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Ozan Kahramanoğulları
Reducing Nondeterminism in the Calculus of Structures
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-06-01, 2006
Reducing Nondeterminism in the Calculus of Structures
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-06-01, 2006
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{K2006,
author = {Ozan Kahramano{\u{g}}ullar{\i}},
title = {Reducing Nondeterminism in the Calculus of Structures},
institution = {Knowledge Representation and Reasoning Group, Institute for
Artificial Intelligence, Department of Computer Science, {TU}
Dresden},
year = {2006}
}