Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Depth-first Proof Search without Backtracking for Free-variable Clausal Tableaux

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Bernhard Beckert
In:Third International Workshop on First-Order Theorem Proving (FTP 2000)
Jahr:2000
Seiten:44-55

BibTeX

@InProceedings{Beckert00a,
  author        = {Bernhard Beckert},
  title         = {Depth-first Proof Search without Backtracking for
                   Free-variable Clausal Tableaux},
  booktitle     = {Third International Workshop on First-Order Theorem
                   Proving ({FTP} 2000)},
  venue         = {{St. Andrews}, Scotland},
  editor        = {P. Baumgartner and H. Zhang},
  pages         = {44--55},
  year          = {2000}                            
}