Back to Results
First PageMeta Content
Computability theory / Model theory / Complexity classes / Metalogic / Proof theory / Decision problem / Decidability / Satisfiability / First-order logic / Theoretical computer science / Computational complexity theory / Mathematical logic


Egon Borger Erich Gradel Yuri Gurevich The Classical Decision Problem
Add to Reading List

Document Date: 2007-11-05 08:28:23

Open Document

File Size: 142,16 KB

Share Result on Facebook
UPDATE