Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Church–Rosser_theorem> }
Showing triples 1 to 26 of
26
with 100 triples per page.
- Alonzo_Church knownFor Church–Rosser_theorem.
- J._Barkley_Rosser knownFor Church–Rosser_theorem.
- Church-Rosser wikiPageRedirects Church–Rosser_theorem.
- Church-Rosser_theorem wikiPageRedirects Church–Rosser_theorem.
- Abstract_rewriting_system wikiPageWikiLink Church–Rosser_theorem.
- Alonzo_Church wikiPageWikiLink Church–Rosser_theorem.
- Church-Rosser wikiPageWikiLink Church–Rosser_theorem.
- Church-Rosser_theorem wikiPageWikiLink Church–Rosser_theorem.
- Confluence_(abstract_rewriting) wikiPageWikiLink Church–Rosser_theorem.
- Deductive_lambda_calculus wikiPageWikiLink Church–Rosser_theorem.
- J._Barkley_Rosser wikiPageWikiLink Church–Rosser_theorem.
- Lambda_calculus wikiPageWikiLink Church–Rosser_theorem.
- List_of_functional_programming_topics wikiPageWikiLink Church–Rosser_theorem.
- List_of_mathematical_logic_topics wikiPageWikiLink Church–Rosser_theorem.
- List_of_theorems wikiPageWikiLink Church–Rosser_theorem.
- Logical_framework wikiPageWikiLink Church–Rosser_theorem.
- Natarajan_Shankar wikiPageWikiLink Church–Rosser_theorem.
- Reduction_strategy_(lambda_calculus) wikiPageWikiLink Church–Rosser_theorem.
- Rewriting wikiPageWikiLink Church–Rosser_theorem.
- Sahlqvist_formula wikiPageWikiLink Church–Rosser_theorem.
- Sterling_Hall_bombing wikiPageWikiLink Church–Rosser_theorem.
- 1989762 isCitedBy Church–Rosser_theorem.
- Alonzo_Church knownFor Church–Rosser_theorem.
- J._Barkley_Rosser knownFor Church–Rosser_theorem.
- Church%E2%80%93Rosser_theorem sameAs Church–Rosser_theorem.
- Church–Rosser_theorem primaryTopic Church–Rosser_theorem.