Properties of a Logical System in the Calculus of Structures

Alwen Fernanto TiuAlwen Fernanto Tiu

Alwen Fernanto Tiu
Properties of a Logical System in the Calculus of Structures
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-06, 2001

Details
Bibtex

Bemerkung: Note: Master's Thesis.
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{T2001,
  author      = {Alwen Fernanto Tiu},
  title       = {Properties of a Logical System in the Calculus of Structures},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2001}
}