Login / Signup
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
Koen Claessen
Jan-Willem Roorda
Published in:
Log. Methods Comput. Sci. (2009)
Keyphrases
</>
formal semantics
machine learning
information systems
semantic information
symbolic representation