Login / Signup
Transducers, logic and algebra for functions of finite words.
Emmanuel Filiot
Pierre-Alain Reynier
Published in:
ACM SIGLOG News (2016)
Keyphrases
</>
finite automata
multi valued
set theory
boolean algebra
data model
predicate logic
knowledge base
automated reasoning
database systems
keywords
linear temporal logic
relation algebra
basis functions
relational algebra
english words