Taclets: A New Paradigm for Constructing Interactive Theorem Provers

Technischer Bericht

Autor(en):Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer und Steffen Schlager
Institution:Department of Computer Science, University of Koblenz
Band:Technical Reports in Computer Science (Fachberichte Informatik)
Jahr:2004
Nummer:9-2004

BibTeX

@TechReport{BeckertGieseEA2004tr,
  author	= {Bernhard Beckert and Martin Giese and Elmar Habermalz and
                   Reiner Hähnle and Andreas Roth and Philipp Rümmer and 
                   Steffen Schlager},
  title		= {Taclets: A New Paradigm for Constructing Interactive
		  Theorem Provers},
  institution	= {Department of Computer Science, University of Koblenz},
  volume	= {Technical Reports in Computer Science 
                   (Fachberichte Informatik)},
  number	= {9-2004},
  year		= {2004}
}