An Initial Semantics for the mu-Calculus on Trees and Rabin's Complementation Lemma.
André ArnoldPublished in: Theor. Comput. Sci. (1995)
Keyphrases
- algebraic structure
- process algebra
- formal language
- tree structure
- formal semantics
- logic programming
- database query languages
- decision trees
- semantic information
- computational properties
- formal specification
- relational calculus
- tree models
- development environment
- concurrent systems
- expressive power
- proof theoretic