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

Boolean logic GAPLog SFLV PRL Parlog metalanguage AND DYnamic LANguage Echidna fact dynamic scope IC-Prolog Goedel FUNLOG LEAF WebObjects CELP glue Sequential Parlog Machine CLP(sigma*)Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability non-volatile storage Charme LIFE channel service unit Isabelle Objective C Transistor-Transistor Logic combinatory logic George Boole TABLOG CLP(R)load balancing APPLOG fuzzy logic HiLog three-tier Xilinx, Inc.Xilinx Netlist Format EPILOG tautological set asynchronous logic Wild_LIFE ELP A'UM Constraint Logic Programming priority scheduling Extension Language Kit Parlog++PAL logic gate logic programming instantiation Neutrosophy neutrosophic set scan design abduction Eiffel unification horizontal encoding central processing unit constructive Interest Group in Pure and Applied Logics vertical encoding Triton FPM DRAM EDO DRAM FPM SDRAM DOORS EDO RAM CONIC DHCP DRAM DSDM Trilogy

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