VDict - Definition of Logic for Computable Functions

search result for Logic for Computable Functions in Computing (FOLDOC) dictionary

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

scan design abstract interpretation memo function abduction context-sensitive menu constant applicative form unification horizontal encoding central processing unit one-way hash function constructive Interest Group in Pure and Applied Logics heap algebraic data type vertical encoding computability theory argument Ousterhout's dichotomy eigenvector ATX Trilogy Laboratory INstrument Computer type scan register C++handwave axiomatic semantics occurs check O-Logic accumulator EQLOG OBJ0 MALI Simulating Digital Systems CPLD PLTL complexity analysis resolution ET SEUS pin-out ALF mill X.3 deforestation LOTIS Sure ALU MegaHertz Programmable Logic Controller Very Large Scale Integration Probe Gnuplot LDL HCPRVR skolemisation IBM 3270 axiom Nawk IIL LTL PLD GTL intuitionism PLC bar DACAPO LDL1 CLP Nqthm Prolog-2 SNOBOL2 complex programmable logic device TAO Computer Telephone Integration CS-Prolog Intrinsics BABYLON GAL sentence

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