Pages that link to "Item:Q2506827"

From MaRDI portal

← On modal \(\mu\)-calculus with explicit interpolants (Q2506827)

Jump to:navigation, search

The following pages link to On modal \(\mu\)-calculus with explicit interpolants (Q2506827):

Displaying 2 items.

Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q2506827"