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)