A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version

C. HirschC. Hirsch,  Stephan TobiesStephan Tobies
C. Hirsch, Stephan Tobies
A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-03, 2000. LTCS-Report
@techreport{ Hirsch-Tobies-LTCS-00-03,
  address = {Germany},
  author = {C. {Hirsch} and S. {Tobies}},
  institution = {LuFG Theoretical Computer Science, RWTH Aachen},
  note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.},
  number = {LTCS-00-03},
  title = {A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version},
  type = {LTCS-Report},
  year = {2000},
}