Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

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

• Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
  Bằng: Gottlob, G, et al.
  Được phát hành: (1999)
• Herbrand-Confluence
  Bằng: Stefan Hetzl, et al.
  Được phát hành: (2013-12-01)
• On the Herbrand content of LK
  Bằng: Bahareh Afshari, et al.
  Được phát hành: (2016-06-01)
• Inter-procedural Two-Variable Herbrand Equalities
  Bằng: Stefan Schulze Frielinghaus, et al.
  Được phát hành: (2017-05-01)
• Herbrand expansions of some formulas of modal logic S4
  Bằng: Stanislovas Norgėla
  Được phát hành: (2003-12-01)