Pages that link to "Presburger arithmetic"
Jump to navigation
Jump to search
The following pages link to Presburger arithmetic:
Displaying 33 items.
- P versus NP problem (← links)
- Computational complexity theory (← links)
- Entscheidungsproblem (← links)
- Peano axioms (← links)
- Gödel's incompleteness theorems (← links)
- Consistency (← links)
- Type system (← links)
- Time complexity (← links)
- Quantifier elimination (← links)
- Generalized arithmetic progression (← links)
- Robinson arithmetic (← links)
- Second-order arithmetic (← links)
- List of first-order theories (← links)
- Satisfiability modulo theories (← links)
- Skolem arithmetic (← links)
- Double exponential function (← links)
- Complete theory (← links)
- 2-EXPTIME (← links)
- Z-group (← links)
- Recursive language (← links)
- NP-completeness (← links)
- Generic-case complexity (← links)
- Büchi arithmetic (← links)
- Infinite chess (← links)
- Regular numerical predicate (← links)
- Cobham's theorem (← links)
- Feferman–Vaught theorem (← links)
- S2S (mathematics) (← links)
- Testwiki:Reference desk/Archives/Mathematics/May 2006 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2007 July 12 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2009 June 7 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 November 2 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2020 February 20 (← links)