Some upper and lower bounds on decision procedures in logic

Materias

• Computational complexity
• Gödel's theorem
• Turing machines

Ediciones (2)

• Some upper and lower bounds on decision procedures in logic (1974)

  Project MAC, Massachusetts Institute of Technology · inglés

• Some upper and lower bounds on decision procedures in logic (1974)

  inglés

Más obras de Jeanne Ferrante

Portability and performance for parallel processing

TThe computational complexity of logical theories

The computational complexity of logical theories

CComputational techniques in tribology and material science a

Computational techniques in tribology and material science at the atomic level