Login / Signup
A General Theory of Syntax with Bindings.
Lorenzo Gheri
Andrei Popescu
Published in:
Arch. Formal Proofs (2019)
Keyphrases
</>
general theory
morphological operators
mathematical theory
stable models
context free grammars
natural language
machine learning
artificial intelligence
image processing
high level
fuzzy sets
efficient implementation
belief functions
datalog programs