A Finitary System for First Order Logic

From International Center for Computational Logic
Toggle side column

A Finitary System for First Order Logic

Kai BrünnlerKai Brünnler,  Alessio GuglielmiAlessio Guglielmi
Kai Brünnler, Alessio Guglielmi
A Finitary System for First Order Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-09, 2003
@techreport{BG2003,
  author      = {Kai Br{\"{u}}nnler and Alessio Guglielmi},
  title       = {A Finitary System for First Order Logic},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2003}
}