Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Presburger_arithmetic> }
Showing triples 1 to 45 of
45
with 100 triples per page.
- Mojżesz_Presburger knownFor Presburger_arithmetic.
- Presberger_arithmetic wikiPageRedirects Presburger_arithmetic.
- Presburger_Arithmetic wikiPageRedirects Presburger_arithmetic.
- Pressburger_arithmetic wikiPageRedirects Presburger_arithmetic.
- Automated_reasoning wikiPageWikiLink Presburger_arithmetic.
- Automated_theorem_proving wikiPageWikiLink Presburger_arithmetic.
- Büchi_arithmetic wikiPageWikiLink Presburger_arithmetic.
- Complete_theory wikiPageWikiLink Presburger_arithmetic.
- Computational_complexity_theory wikiPageWikiLink Presburger_arithmetic.
- Consistency wikiPageWikiLink Presburger_arithmetic.
- Decidability_(logic) wikiPageWikiLink Presburger_arithmetic.
- Double_exponential_function wikiPageWikiLink Presburger_arithmetic.
- Entscheidungsproblem wikiPageWikiLink Presburger_arithmetic.
- Generic-case_complexity wikiPageWikiLink Presburger_arithmetic.
- List_of_computability_and_complexity_topics wikiPageWikiLink Presburger_arithmetic.
- List_of_first-order_theories wikiPageWikiLink Presburger_arithmetic.
- List_of_mathematical_logic_topics wikiPageWikiLink Presburger_arithmetic.
- Mojżesz_Presburger wikiPageWikiLink Presburger_arithmetic.
- NP-completeness wikiPageWikiLink Presburger_arithmetic.
- P_versus_NP_problem wikiPageWikiLink Presburger_arithmetic.
- Peano_axioms wikiPageWikiLink Presburger_arithmetic.
- Presberger_arithmetic wikiPageWikiLink Presburger_arithmetic.
- Presburger_Arithmetic wikiPageWikiLink Presburger_arithmetic.
- Presburger_Award wikiPageWikiLink Presburger_arithmetic.
- Pressburger wikiPageWikiLink Presburger_arithmetic.
- Pressburger_arithmetic wikiPageWikiLink Presburger_arithmetic.
- Quantifier_elimination wikiPageWikiLink Presburger_arithmetic.
- Recursive_language wikiPageWikiLink Presburger_arithmetic.
- Satisfiability_modulo_theories wikiPageWikiLink Presburger_arithmetic.
- Second-order_arithmetic wikiPageWikiLink Presburger_arithmetic.
- Skolem_arithmetic wikiPageWikiLink Presburger_arithmetic.
- Thoralf_Skolem wikiPageWikiLink Presburger_arithmetic.
- Time_complexity wikiPageWikiLink Presburger_arithmetic.
- Type_system wikiPageWikiLink Presburger_arithmetic.
- William_Pugh wikiPageWikiLink Presburger_arithmetic.
- presburger.pdf isCitedBy Presburger_arithmetic.
- MIT-LCS-TM-043.ps isCitedBy Presburger_arithmetic.
- books?vid=ISBN978-0-12-238452-3 isCitedBy Presburger_arithmetic.
- s10817-010-9183-0 isCitedBy Presburger_arithmetic.
- 0022-0000(78)90021-1 isCitedBy Presburger_arithmetic.
- 0304-3975(80)90037-7 isCitedBy Presburger_arithmetic.
- fmcad.2014.6987606 isCitedBy Presburger_arithmetic.
- 512760.512775 isCitedBy Presburger_arithmetic.
- Mojżesz_Presburger knownFor Presburger_arithmetic.
- Presburger_arithmetic primaryTopic Presburger_arithmetic.