Login / Signup
On the Relation between Direct and Continuation Semantics.
John C. Reynolds
Published in:
ICALP (1974)
Keyphrases
</>
formal semantics
real time
semantic information
semantic representation
logic programming
database
information systems
case study
expert systems
binary relations
nonmonotonic logics
logical language
update semantics
xml keys