On fixpoint logics and equivalences for processes with restricted nondeterminism

Παρόμοια τεκμήρια

• On fixpoint logics and equivalences for processes with restricted nondeterminism
  ανά: Gutierrez, J
  Έκδοση: (2015)
• Nondeterminism in Logics of Programs
  ανά: Harel, David, κ.ά.
  Έκδοση: (2023)
• On independence-friendly fixpoint logics
  ανά: J. C. Bradfield
  Έκδοση: (2004-10-01)
• Games for Topological Fixpoint Logic
  ανά: Nick Bezhanishvili, κ.ά.
  Έκδοση: (2016-09-01)
• The Complexity of Independence−Friendly Fixpoint Logic
  ανά: Bradfield, J, κ.ά.
  Έκδοση: (2007)