Login / Signup
Quantitative automata and logics for infinite discrete structures.
Parvaneh Babari
Published in:
Joint Workshop of the German Research Training Groups in Computer Science (2014)
Keyphrases
</>
qualitative and quantitative
cellular automata
expressive power
discrete geometry
quantitative and qualitative
regular languages
linearly ordered
neural network
knowledge base
modal logic
regular expressions
finite state
real numbers
tree automata
discrete version