VDict - Definition of complete theory

search result for complete theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

monadic automata theory computable CTC autoprojector canonicity predomain bipartite graph CA Windows 3.0 FSM SASL+LV computron sticky analysis store and forward block transfer computations function complete GRG directed set minimal automaton Universal algebra type assignment Axiom of Choice cppp Original Equipment Manufacturer closed term \sqsubseteq SCSI reconnect LAMBDA beta conversion terpri loser pi-calculus Abstract Machine Notation monotonic joe code DEC Wars CUCH COLD-K bottom object code grovel Moore graph F+L reliable communication AGM Theory for Belief Revision distributive lattice disjoint union Blue Box proof theory (c)canonical PROSE deterministic automaton Pascal-S polynomial-time algorithm circuit visionary effective computable MultiLisp Ontic bit plane compactness preserving reduction strategy Gottlob Frege NOR core dump low-bandwidth smart ASL+test syntax tree backward analysis Yale Haskell Algebra of Communicating Processes Pari combination ALLIANCE graph colouring Ferranti F100-L

First < Previous 1 2 3 4 5 Next > Last