Refine
Year of publication
Document Type
Keywords
- 3-Satisfiability (1)
- Algebraic models of computation (1)
- Algebraic proofs (1)
- BSS machines over C (1)
- Complexity theory Saturation (1)
- Decision problems for automata over uncountable structures (1)
- Exponential-time computations (1)
- Generalized finite automata (1)
- Hilbert Nullstellensatz (1)
- Linear and quadratic programming (1)