Login / Signup
Precongruence Formats for Decorated Trace Semantics
Bard Bloom
Wan J. Fokkink
Rob J. van Glabbeek
Published in:
CoRR (2002)
Keyphrases
</>
semantic information
logic programming
update semantics
transformation rules
real time
metadata
formal semantics
search engine
semantic relationships
data sets
multimedia
image sequences
information retrieval
neural network
deductive databases
default reasoning
specification language
databases
model theoretic