The following pages link to Franz Baader
External toolsShowing 43 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Unification (computer science) (links | edit)
- 1066 and All That (links | edit)
- Description logic (links | edit)
- Web Ontology Language (links | edit)
- Rewriting (links | edit)
- Term algebra (links | edit)
- Conference on Automated Deduction (links | edit)
- Herbrand Award (links | edit)
- Confluence (abstract rewriting) (links | edit)
- Normal form (abstract rewriting) (links | edit)
- Substitution (logic) (links | edit)
- Spalt (links | edit)
- Newman's lemma (links | edit)
- Language equation (links | edit)
- Handbook of Automated Reasoning (links | edit)
- List of people by Erdős number (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)
- Convergence (logic) (links | edit)
- Critical pair (term rewriting) (links | edit)
- Ulrike Sattler (links | edit)
- Anti-unification (links | edit)
- Wayne Snyder (links | edit)
- Tobias Nipkow (links | edit)
- Christoph Walther (links | edit)
- Talk:Franz Baader (transclusion) (links | edit)
- User:Charles Matthews/Schelling (links | edit)
- User:The Wordsmith/BLP sourcing (links | edit)
- User:Father Goose/Unreferenced BLPs/Unreferenced BLPs from June 2007 (links | edit)
- User:Pohick2/BLP improvement drive (links | edit)
- User:Tony Sidaway/Living people/b00 (links | edit)
- User:Tony Sidaway/Living people/tranche 004 (links | edit)
- User:Maurice Fu/sandbox (links | edit)
- User talk:Charles Matthews/Archive 30 (links | edit)
- User talk:Ruud Koot/2015 (links | edit)
- Misplaced Pages:WikiProject Science/Members of the Academia Europaea list (links | edit)
- Misplaced Pages talk:WikiProject Computing/Archive 8 (links | edit)
- Misplaced Pages talk:WikiProject Computer science/Archive 8 (links | edit)