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)