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)
• The Complexity of Independence−Friendly Fixpoint Logic
  -н: Bradfield, J, зэрэг
  Хэвлэсэн: (2007)
• The Complexity of Independence−Friendly Fixpoint Logic
  -н: Bradfield, J, зэрэг
  Хэвлэсэн: (2005)