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, et al.
  יצא לאור: (2023)
• On independence-friendly fixpoint logics
  מאת: J. C. Bradfield
  יצא לאור: (2004-10-01)
• Games for Topological Fixpoint Logic
  מאת: Nick Bezhanishvili, et al.
  יצא לאור: (2016-09-01)
• The Complexity of Independence−Friendly Fixpoint Logic
  מאת: Bradfield, J, et al.
  יצא לאור: (2007)