Login / Signup
Denotational and operational semantics for interaction languages: Application to trace analysis.
Erwan Mahe
Christophe Gaston
Pascale Le Gall
Published in:
Sci. Comput. Program. (2024)
Keyphrases
</>
operational semantics
formal semantics
databases
machine learning
information extraction
mental states