A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version

C. HirschC. Hirsch, Stephan TobiesStephan Tobies

Datei:HirschTobies-LTCS-2000.ps.gz

Download

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

Details
Bibtex

Bemerkung: Note: See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

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