Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus.

Amélie Gheerbrant

Published in: Advances in Modal Logic (2010)

Keyphrases

complete axiomatization
worst case
affine transformation
invariant features
affine invariant
inclusion dependencies
data mining
knowledge base
database systems
data analysis
management system