Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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)},
  place         = {{St. Andrews}, Scotland},
  editor        = {P. Baumgartner and H. Zhang},
  pages         = {44--55},
  year          = {2000}                            
}