TY - BOOK ID - 6265927 TI - Computability, complexity and languages : fundamentals of theoretical computer science AU - Davis, Martin AU - Weyuker, Elaine J. PY - 1983 SN - 0122063805 1322558671 1483264580 9780122063800 PB - Orlando, FL : Academic Press, DB - UniCat KW - Machine theory KW - Computational Complexity KW - Formal languages KW - Computational complexity KW - 681.3*F11 KW - 681.3*F2 KW - 681.3*F4 KW - 681.3*F41 KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Logic, Symbolic and mathematical KW - Recursive functions KW - Robotics KW - Formalization (Linguistics) KW - Language and languages KW - Complexity, Computational KW - Electronic data processing 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 - Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} KW - Mathematical logic and formal languages (Theory of computation) 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*F4 Mathematical logic and formal languages (Theory of computation) KW - 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} 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 - Computable functions KW - Fonctions calculables KW - Fonctions calculables. KW - Informatique KW - Computer science KW - Langages formels KW - Langages de programmation KW - Programming languages (Electronic computers) KW - Computer science. KW - Formal languages. KW - Logique mathématique KW - Algorithmique KW - Complexite UR - https://www.unicat.be/uniCat?func=search&query=sysid:6265927 AB - ER -