Uniform interpolation, automata and the modal μ-calculus
DSpace/Manakin Repository
Uniform interpolation, automata and the modal μ-calculus
(1996) Logic Group Preprint Series, volume 165
(Preprint)
Download/Full Text
See more statistics about this item