VDict - Definition of Linear Temporal Logic

search result for Linear Temporal Logic in Computing (FOLDOC) dictionary

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

REGTRAL Digital Lempel Ziv 1 flat most general unifier converse Conjunctive Normal Form LAURE Andorra-I white box testing interpolation QLOG real estate Leda Strand applicative language transistor backward chaining deductive database gate BeBOP Standard ML of New Jersey Generic Expert System Tool Polka ones complement Qu-Prolog ALLIANCE twos complement Andorra Kernel Language proof complement intelligent backtracking bound variable case based reasoning PowerPC 601 Stone Age green lightning content addressable memory MLISP Oz G guard incremental constraint solver Z machine cycle BinProlog formula modal latch DACTL SPEC CINT92 digital audio presence detect POOL2 DeMorgan's theorem induction LPG Active Reconfiguring Message combinator flip-flop sound fork bomb \begin CORAL declarative language race condition Lorenz attractor fix Stephen Kleene VULCAN memory leak Janus exception definitional constraint programming Advanced Micro Devices, Inc.JK flip-flop symbolic inference for loop Q Amulet scan path

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