Properties of a Logical System in the Calculus of Structures
Aus International Center for Computational Logic
Properties of a Logical System in the Calculus of Structures
Alwen Fernanto TiuAlwen Fernanto Tiu
![Properties of a Logical System in the Calculus of Structures Properties of a Logical System in the Calculus of Structures](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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
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
- 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}
}