VDict - Definition of Propositional Dynamic Logic

search result for Propositional Dynamic Logic in Computing (FOLDOC) dictionary

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

twos complement FLEX Yale Haskell Andorra Kernel Language proof WCL complement intelligent backtracking bound variable run-time library C Programmer's Disease PowerPC 601 Stone Age ICI lexical scope green lightning content addressable memory capacitor dynamic translation MLISP Operating System/Multiprogramming of Fixed Tasks Oz G guard incremental constraint solver Z machine cycle RefLisp formula m2 modal Internet Server Application Programming Interface ALGOL 60 latch C+@DACTL Page Mode Dynamic Random Access Memory stale pointer bug Pentium III SPEC CINT92 Extended Data Out Dynamic Random Access Memory presence detect POOL2 DeMorgan's theorem data flow induction LPG KEE Active Reconfiguring Message combinator flip-flop sound fork bomb Rate monotonic scheduling Java Virtual Machine \begin CORAL SR dynamic random access memory declarative language race condition activation record fix A Programming Language Stephen Kleene Call-Level Interface LUCID Python Janus exception definitional constraint programming Advanced Micro Devices, Inc.JK flip-flop Pentium Pro symbolic inference for loop Q Amulet Dynamically Linked Library scan path

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