VDict - Definition of Propositional Dynamic Logic

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

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

CLP Prolog-2 complex programmable logic device TAO CS-Prolog BABYLON GAL sentence DLP iff Muse Fleng Logic Replacement Technology scope CP Atlas Autocode operator Synchronous Dynamic Random Access Memory GigaHertz TYPOL LGEN LPS NOT arena BNR Prolog Oc Dynamic Drive Overlay Gensym Corporation Prolog++EuLisp nanocomputer VisualWorks TypedProlog RTL tautology KL0 CLP*northbridge chase pointers complete theory XT bus architecture component architecture Estelle MMI logic bomb Single Data Rate Synchronous Dynamic Random Access Memory CTL Extended Data Out Random Access Memory Spool N-Prolog definite clause lemma Fortran 90 AdLog goal M-Prolog LDT Cirrus Logic static analysis Fresh fuzzy computing predicate calculus Amber Wesley Clark functional unit SASL+LV Xerox Data Systems Model 940 SNOBOL4 fixed point combinator PowerFuL ECL application server Quty Finagle's Law CIRcuit CALculus hello packet Single Data Rate Random Access Memory SRL Prometheus negation by failure

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