Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Những quyển sách tương tự

• Expressive Equivalence of Least and Inflationary Fixed−Point Logic
  Bằng: Kreutzer, S
  Được phát hành: (2002)
• Inflationary Fixed Points in Modal Logics
  Bằng: Dawar, A, et al.
  Được phát hành: (2004)
• Inflationary Fixed Points in Modal Logics
  Bằng: Dawar, A, et al.
  Được phát hành: (2001)
• Backtracking games and inflationary fixed points
  Bằng: Dawar, A, et al.
  Được phát hành: (2004)
• Backtracking Games and Inflationary Fixed Points
  Bằng: Dawar, A, et al.
  Được phát hành: (2006)