Pages that link to "Item:Q1854404"
From MaRDI portal
The following pages link to On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404):
Displaying 10 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- A calculus for attribute-based memory updates (Q2119988) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- (Q3002404) (← links)
- On the expressivity of the modal mu-calculus (Q4593954) (← links)
- A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus (Q5756760) (← links)
- AbU: a calculus for distributed event-driven programming with attribute-based interaction (Q6038690) (← links)
