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

Laboratory INstrument Computer PCA IAD dynamically scoped EDRAM scan register DataViews Enhanced Dynamic Random Access Memory DDE DSR DHTML DDO Dylan just-in-time Synchronous DRAM EDO memory DAT handwave Nawk Subset-Equational Language dynamic link library JIT DYnamics ANAlyzer PHP: Hypertext Preprocessor Page Mode DRAM Independent Logical File Pascal-SC dynamic routing LRLTRAN STRUDL ECSP occurs check adaptive routing dynamic adaptive routing SNOOPS Column Address Strobe O-Logic Vlisp accumulator PROSE EQLOG OBJ0 MALI Simulating Digital Systems Dynamic Object-Oriented Requirements System DDE Manager Dynamic Address Translation LZH compression Dynamic Systems Development Method CPLD complexity analysis resolution ET DYNAMO ALGOL W mill ALF Sure LOTIS ALU MegaHertz Programmable Logic Controller DDL Probe Very Large Scale Integration LDL Logic for Computable Functions HCPRVR skolemisation Prolog axiom LCF PLC IIL GTL PLD LTL intuitionism DACAPO LDL1

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