Login / Signup
Linear Time and Branching Time Semantics for Recursion with Merge.
J. W. de Bakker
Jan A. Bergstra
Jan Willem Klop
John-Jules Ch. Meyer
Published in:
Theor. Comput. Sci. (1984)
Keyphrases
</>
epistemic logic
temporal logic
temporal reasoning
model checking
semantic information
databases
data sets
formal semantics
logic programming
conceptual model
complex objects
deductive databases
domain knowledge
inference rules
transitive closure
operational semantics
model theoretic