An Algebra for Kripke Polynomial Coalgebras.

Marcello M. Bonsangue Jan J. M. M. Rutten Alexandra Silva

Published in: LICS (2009)

Keyphrases

algebraic geometry
desirable properties
modal logic
inference rules
data model
temporal logic
query language
algebraic expressions
database
set theory
polynomial equations
bayesian networks
artificial neural networks
model checking
low order
algebraic structure