VDict - Definition of model theory

search result for model theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

Institut National de Recherche en Informatique et Automatique SP/2 Mu static analysis Bird-Meertens Formalism rdb Busy Beaver monad infinite Upper Layer Protocol automaton toy language Linda DOS requester network redirector Kevo Church of the SubGenius TK-90X A/UX Basic Encoding Rules constructor SLANG GAP functor chromatic number black art least upper bound open/closed principle Zip Drive typed lambda-calculus eta conversion evaluator Richard Hamming transitive closure metaheuristic Petri net Hamiltonian problem prepaging Application Service Element working set bottom-unique combinator veeblefetzer quantum bogodynamics Discordianism Head Normal Form TOS Cornell University greatest lower bound computability theory entropy Stephen Kleene tree A. K. Erlang intuitionistic logic magic cookie Liskov substitution principle head-strict Neutrosophy compact Turing Machine partial ordering quantum computer dual LUCID beta testing tensor product protected mode axiomatic semantics fat electrons protocol layer Ptolemy Unified Modeling Language client-server John von Neumann Nova transparent icon constructive Interest Group in Pure and Applied Logics

First < Previous 1 2 3 4 5 6 Next > Last