VDict - Definition of Computational Tree Logic

search result for Computational Tree Logic in Computing (FOLDOC) dictionary

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

Knowledge Systems Laboratory scan register dead tree edition space complexity handwave time complexity abstract syntax Subset-Equational Language DNA computing like nailing jelly to a tree metaphone GAP Text Encoding Initiative ill-behaved Nondeterministic Turing Machine metaheuristic exponential-time algorithm CAYLEY occurs check brute force attack Computational Adequacy Theorem supercomputer O-Logic kamikaze packet accumulator EQLOG OBJ0 MALI Simulating Digital Systems cons bit CPLD PLTL complexity analysis resolution ET ALF mill Sure LOTIS Huffman coding ALU MegaHertz Programmable Logic Controller Probe Very Large Scale Integration LDL Logic for Computable Functions HCPRVR skolemisation Prolog axiom intuitionism LCF IIL GTL LTL PLD PLC DACAPO LDL1 CLP Prolog-2 complex programmable logic device Iburg TAO CS-Prolog BABYLON sentence GAL DLP Muse iff Fleng Logic Replacement Technology CP operator GigaHertz TYPOL LGEN

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