VDict - Definition of proof theory

search result for proof theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

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 acoustic coupler Church of the SubGenius Basic Encoding Rules constructor GAP functor chromatic number black art least upper bound open/closed principle Nightmare File System 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 entropy B Stephen Kleene tree Domain Analysis A. K. Erlang Liskov substitution principle head-strict Neutrosophy compact Management Information Base Turing Machine partial ordering quantum computer dual axiomatic semantics fat electrons John von Neumann state B-Toolkit transparent icon Interest Group in Pure and Applied Logics OS/2 Debian abstract machine linear type chain model checking category union Use the Source Luke delta reduction bit rot gedanken powerdomain games BIFF Intel 486SX

First < Previous 1 2 3 4 Next > Last