Login / Signup
Equational descriptions of languages.
Jean-Éric Pin
Published in:
AFL (2011)
Keyphrases
</>
theorem proving
expressive power
databases
language independent
high level
equational theories
multi lingual
theorem prover
real time
information retrieval systems
relational databases
data sets
cross lingual
decision trees
computer programs
website
arabic language
syntactic and semantic dependencies