Login / Signup
A variable-free dynamic semantics
Chung-chieh Shan
Published in:
CoRR (2002)
Keyphrases
</>
logic programming
dynamically changing
information systems
formal semantics
database
databases
artificial intelligence
image sequences
programming language