ACM SIGACT News · 1982 · 45 citations · 1 references
HumanitiesMathematicsLogicComputability TheoryMathematical LogicModel TheoryPredicate LogicComplexity Of SatisfiabilityFormula ComplexityGeneralized QuantifiersQuantifier EliminationQuantifier Handling
No abstract available.
1
The undecidability of the domino problem
Robert E. Berger · Memoirs of the American Mathematical Society · 1966 · 974 citations