Misplaced Pages

The following pages link to Tobias Nipkow

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 39 items.

• List of computer scientists (links | edit)
• Unification (computer science) (links | edit)
• Isabelle (proof assistant) (links | edit)
• HOL (proof assistant) (links | edit)
• Rewriting (links | edit)
• Proof assistant (links | edit)
• Quantifier elimination (links | edit)
• Term algebra (links | edit)
• Conference on Automated Deduction (links | edit)
• Cliff Jones (computer scientist) (links | edit)
• Herbrand Award (links | edit)
• Franz Baader (links | edit)
• Confluence (abstract rewriting) (links | edit)
• International Joint Conference on Automated Reasoning (links | edit)
• Bird–Meertens formalism (links | edit)
• Normal form (abstract rewriting) (links | edit)
• Newman's lemma (links | edit)
• Termination analysis (links | edit)
• Parity of zero (links | edit)
• International Workshop on First-Order Theorem Proving (links | edit)
• Divergence (computer science) (links | edit)
• Uninterpreted function (links | edit)
• Reflexive closure (links | edit)
• Symmetric closure (links | edit)
• Satisfiability (links | edit)
• Abstract rewriting system (links | edit)
• Term (logic) (links | edit)
• Jan Willem Klop (links | edit)
• Convergence (logic) (links | edit)
• Critical pair (term rewriting) (links | edit)
• Set constraint (links | edit)
• Nachum Dershowitz (links | edit)
• Summer School Marktoberdorf (links | edit)
• Talk:Tobias Nipkow (transclusion) (links | edit)
• User:Mathbot/List of mathematical redlinks (T) (links | edit)
• User:Fropuff/Redlinks (links | edit)
• User:Salih/MathRedlinks (links | edit)
• User:Qwerfjkl/preservedCategories/Category:CS1: long volume value (links | edit)
• Misplaced Pages:WikiProject Science/Members of the Academia Europaea list (links | edit)