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

CTL Baroque modal logic FUNLOG neutrosophic logic propositional logic predicate logic equational logic Interest Group in Pure and Applied Logics computational complexity EQLog logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Programmable Array Logic TEMPLOG symbolic logic Association for Computational Linguistics LO DACTL classical logic linear logic first-order logic B-tree BABEL logic emulator intuitionistic logic P-Prolog Lolli LOGIN intuitionistic probability quantifier HOL Distributed Logic Programming evolutionary computation complexity NP-hard Horn clause balanced tree {log}two-valued logic Constraint Handling In Prolog connective HCLP field-programmable gate array Arithmetic and Logic Unit Tempura intuitionist logic Gunning Transceiver Logic Universal algebra Terse PRISM LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic Generic Array Logic Smarandache logic L&O ZX-81 proof theory logic variable assertion Lambada-Calculus Pandora NP-complete Gottlob Frege Boolean logic temporal logic GAPLog SFLV PRL Parlog metalanguage AND Echidna

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