Login / Signup
Sequence Types and Infinitary Semantics.
Pierre Vial
Published in:
CoRR (2021)
Keyphrases
</>
formal semantics
semantic representation
databases
semantic information
bayesian networks
logic programming
conceptual model
sequence alignment
argumentation semantics