Modal Kleene Algebra and Partial Correctness.

Bernhard Möller Georg Struth

Published in: AMAST (2004)

Keyphrases

propositional logic
regular expressions
modal logic
data model
real time
algebraic expressions
artificial intelligence
real world
neural network
fuzzy sets
relational algebra
web services
query language
object oriented
nonmonotonic logics
provably correct
database