Word:

TEMPLOG

TEMPLOG - Extension of Prolog to handle a clausal subset of first-order temporal logic with discrete time. Proposed by M. Abadi and Z. Manna of Stanford University.

["Temporal Logic in Programming", M. Abadi et al, INtl Symp Logic Prog pp.4-16 (1987)].
Browse
Template
template code
template RNA
Temple
Temple of Apollo
Temple of Artemis
Temple of Jerusalem
Temple of Solomon
temple orange
temple orange tree
Temple rubato
temple tree
Templed
Templet
Templetonia
Templetonia retusa
-- TEMPLOG --
Tempo
Tempo rubato
Temporal
temporal arrangement
temporal arteritis
temporal artery
Temporal augment
temporal bone
temporal canthus
temporal database
temporal gyrus
temporal lobe
temporal lobe epilepsy
temporal logic
temporal muscle
temporal order
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home