Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Նմանատիպ նյութեր

• Expressive Equivalence of Least and Inflationary Fixed−Point Logic
  ‌: Kreutzer, S
  Հրապարակվել է: (2002)
• Inflationary Fixed Points in Modal Logics
  ‌: Dawar, A, և այլն
  Հրապարակվել է: (2004)
• Inflationary Fixed Points in Modal Logics
  ‌: Dawar, A, և այլն
  Հրապարակվել է: (2001)
• Backtracking games and inflationary fixed points
  ‌: Dawar, A, և այլն
  Հրապարակվել է: (2004)
• Backtracking Games and Inflationary Fixed Points
  ‌: Dawar, A, և այլն
  Հրապարակվել է: (2006)