VDict - Definition of theory

search result for theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

AGM Theory for Belief Revision distributive lattice disjoint union proof theory PROSE deterministic automaton effective computable Ontic complete partial ordering compactness preserving reduction strategy Gottlob Frege low-bandwidth complete ASL+syntax tree backward analysis Algebra of Communicating Processes Pari combination semantics join Cornell Theory Center linear logic NIAL reflexive nondeterministic automaton B-Method CHARITY Godzillagram decision problem Omega-algebraic plonk set complement discriminated union burn-in period proof alpha conversion complete metric space Cinderella Book steganography operational semantics linear argument Institut National de Recherche en Informatique et Automatique Mu static analysis Bird-Meertens Formalism rdb Busy Beaver monad infinite automaton toy language Church of the SubGenius Basic Encoding Rules constructor GAP functor chromatic number black art least upper bound open/closed principle typed lambda-calculus relational algebra eta conversion evaluator Richard Hamming transitive closure metaheuristic Hamiltonian problem bottom-unique combinator Concrete Data Structure Actors quantum bogodynamics Discordianism Head Normal Form Cornell University greatest lower bound computability theory

First < Previous 1 2 3 Next > Last