A System of Interaction and Structure

PublikationenPublications

• Nach AutorBy Author
  • Alessio GuglielmiAlessio Guglielmi
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

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