A System of Interaction and Structure

Alessio GuglielmiAlessio Guglielmi

Download

Alessio Guglielmi
A System of Interaction and Structure
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-10, 2002

Details
Bibtex

Bemerkung: Note: To appear in ACM Transactions on Computational Logic. Download: PDF filewv-02-10.pdf
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{G2002,
  author      = {Alessio Guglielmi},
  title       = {A System of Interaction and Structure},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2002}
}