Pages that link to "Item:Q5897786"
From MaRDI portal
The following pages link to FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897786):
Displaying 8 items.
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- Knowledge forgetting: properties and applications (Q1045992) (← links)
- The monodic fragment of propositional term modal logic (Q2001365) (← links)
- (Q3509051) (← links)
- A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames (Q3520237) (← links)
- Selected Ideas Used for Decidability and Undecidability of Bisimilarity (Q3532999) (← links)
- Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)
- Undecidability of the Logic of Partial Quasiary Predicates (Q5092565) (← links)