Pages that link to "Item:Q557788"

The following pages link to An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788):

Displayed 3 items.

• The many faces of interpolation (Q1024113) ‎ (← links)
• On modal \(\mu\)-calculus with explicit interpolants (Q2506827) ‎ (← links)
• Mathematical Logic for Life Science Ontologies (Q3638273) ‎ (← links)