Reducing Nondeterminism in the Calculus of Structures

Ozan KahramanoğullarıOzan Kahramanoğulları

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

Details
Bibtex

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