Login / Signup
Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus.
Matteo Mio
Published in:
FoSSaCS (2014)
Keyphrases
</>
computer algebra
automated deduction
neural network
web services
artificial intelligence
image sequences
relational calculus
natural deduction
database
three dimensional
relational databases
probabilistic model
relational algebra
automated theorem proving
timed automata