VDict - Definition of computability theory

search result for computability theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

quantum bogodynamics Discordianism Head Normal Form Cornell University greatest lower bound entropy Stephen Kleene tree Domain Analysis A. K. Erlang intuitionistic logic Liskov substitution principle head-strict Neutrosophy compact Management Information Base partial ordering quantum computer dual axiomatic semantics fat electrons John von Neumann state transparent icon constructive Interest Group in Pure and Applied Logics linear type chain model checking category union Use the Source Luke delta reduction bit rot gedanken powerdomain games BIFF Intel 486SX Banach space type delta handwave wavelet polymorphism candygrammar error detection and correction abstract interpretation V.FC algebraic data type Boolean algebra Lempel-Ziv Welch compression Eiffel George Boole Magic Switch Story Alan Turing race condition canonical European Computer-Industry Research Centre GmbH Real Programmers Don't Use Pascal

First < Previous 1 2 3 Next > Last