Translation
powered by 
search result for Propositional Linear Temporal Logic in Computing (FOLDOC) dictionary
scan registerUHELPLERPhandwaveDigital Audio TapeSubset-Equational LanguageLinear Graph Notationcomputational geometrydoubly linked listAdalinelinear assignmentoccurs checkpolynomialO-LogicMPEG-21accumulatorEQLOGOBJ0Simulating Digital SystemsMALIlinked listCPLDoptimalcomplexity analysisresolutionETaffine transformationSLD resolutionnon-uniform quantising logarithmic compressionmillALFLOTISSurelexical analysisALUMegaHertzProgrammable Logic ControllerVery Large Scale IntegrationProbeBanach inverse mapping theoremHCPRVRLDLLogic for Computable FunctionsskolemisationPrologaxiomIILPLDPLCLCFGTLintuitionismDACAPOLDL1CLPProlog-2complex programmable logic deviceTAOCS-PrologBABYLONsentenceDLPGALiffMuseFlengLogic Replacement TechnologyCPoperatorGigaHertzTYPOLleast recently usedLGENradiosityNOTLPSBNR PrologOcsingle sourcingProlog++