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)