TY - BOOK ID - 942018 TI - The classical decision problem AU - Börger, Egon. AU - Grädel, Erich AU - Gurevich, Yuri PY - 1997 SN - 01726641 SN - 354057073X 9783540570738 PB - Berlin Springer DB - UniCat KW - 681.3*F11 KW - 681.3*F13 KW - 681.3*F41 KW - Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} KW - Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - 681.3*F13 Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} KW - 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} KW - Mathematical logic KW - Decidability (Mathematical logic) KW - Health Sciences KW - Life Sciences KW - Immunology KW - Pathology KW - Computable functions KW - Gödel's theorem KW - Logic, Symbolic and mathematical KW - Recursive functions UR - https://www.unicat.be/uniCat?func=search&query=sysid:942018 AB - ER -