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

John Vincent Atanasoff ALLOY backtracking Christmas tree Quantum-dot Cellular Automata orthogonal Infinite Monkey Theorem branch parent time bomb flatten Goffin TCOL database root node leaf screen scraper bomb heap daughter fault tree analysis OPTRAN neats vs. scruffies free variable HOTT TREET arc Advanced RISC Machine linear type graph ALPS TDF Christmas tree packet ML abstract syntax tree Parsley Hubnet Milarepa CAT printer Pentium constructive solid geometry language-sensitive editor parser nailing jelly TWIG data structure NPL lambda-calculus hierarchical database IAS documentation Cellular Neural Network minicomputer hierarchy structural recursion iterator IEEE 802 Chernobyl packet distribution child record single sourcing concrete syntax Bertrand autoconf gray code terminal junkie Universal Serial Bus JavaServer Pages Query By Example C+-flat file Eiffel source checker curried function Enterprise JavaBeans Descriptive Intermediate Attributed Notation for Ada display hack monitor algebra root bridge

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