Pages that link to "Item:Q481100"

The following pages link to Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100):

Displaying 4 items.

• Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
• (Q5232911) (← links)
• Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
• Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)