On fixpoint logics and equivalences for processes with restricted nondeterminism

Podobne zapisy

• On fixpoint logics and equivalences for processes with restricted nondeterminism
  od: Gutierrez, J
  Wydane: (2015)
• Nondeterminism in Logics of Programs
  od: Harel, David, i wsp.
  Wydane: (2023)
• On independence-friendly fixpoint logics
  od: J. C. Bradfield
  Wydane: (2004-10-01)
• Games for Topological Fixpoint Logic
  od: Nick Bezhanishvili, i wsp.
  Wydane: (2016-09-01)
• The Complexity of Independence−Friendly Fixpoint Logic
  od: Bradfield, J, i wsp.
  Wydane: (2007)