BibSonomy :: author  ::

bookmarks

publications

(250)

• The Isabelle Framework.
  Makarius Wenzel and Lawrence C. Paulson and Tobias Nipkow TPHOLs 33-38 (2008)
  to dblp by dblp on 2008-10-20 00:00:00
  | URL | BibTeX  
• A Compiled Implementation of Normalization by Evaluation.
  Klaus Aehlig and Florian Haftmann and Tobias Nipkow TPHOLs 39-54 (2008)
  to dblp by dblp on 2008-10-20 00:00:00
  | URL | BibTeX  
• Linear Quantifier Elimination.
  Tobias Nipkow IJCAR 18-33 (2008)
  to dblp by dblp on 2008-09-05 00:00:00
  | URL | BibTeX  
• Bytecode Analysis for Proof Carrying Code
  Martin Wildmoser and Amine Chaieb and Tobias Nipkow Proceedings of the 1st Workshop on Bytecode Semantics, Verification and Transformation 141 19-34 (2005)
  to Bytecode PhD Proposal by gron and 1 other person on 2008-09-04 10:15:22
  | URL | BibTeX  
• Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger Arithmetic.
  Tobias Nipkow VERIFY (2007)
  to dblp by dblp on 2008-05-30 00:00:00
  | URL | BibTeX  
• Term Rewriting and All That
  Franz Baader and Tobias Nipkow (1998)
  to imported by mh on 2008-04-23 16:38:41
  | BibTeX  
• Preface.
  Stephan Merz and Tobias Nipkow Electr. Notes Theor. Comput. Sci. 185 1-2 (2007)
  to dblp by dblp on 2007-09-21 00:00:00
  | URL | BibTeX  
• C++ ist typsicher? Garantiert!
  Daniel Wasserrab and Tobias Nipkow and Gregor Snelting and Frank Tip Software Engineering 29-34 (2007)
  to dblp by dblp on 2007-09-19 00:00:00
  | URL | BibTeX  
• Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL.
  Lukas Bulwahn and Alexander Krauss and Tobias Nipkow TPHOLs 38-53 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• Isabelle/HOL --- A Proof Assistant for Higher-Order Logic
  Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel (2002)
  to 2002 hol isabelle proof reasoning by zeno and 1 other person on 2007-05-25 14:01:27
  | BibTeX