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

Benzer Materyaller

• Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
  Yazar:: Gottlob, G, ve diğerleri
  Baskı/Yayın Bilgisi: (1999)
• Herbrand-Confluence
  Yazar:: Stefan Hetzl, ve diğerleri
  Baskı/Yayın Bilgisi: (2013-12-01)
• On the Herbrand content of LK
  Yazar:: Bahareh Afshari, ve diğerleri
  Baskı/Yayın Bilgisi: (2016-06-01)
• Inter-procedural Two-Variable Herbrand Equalities
  Yazar:: Stefan Schulze Frielinghaus, ve diğerleri
  Baskı/Yayın Bilgisi: (2017-05-01)
• Herbrand expansions of some formulas of modal logic S4
  Yazar:: Stanislovas Norgėla
  Baskı/Yayın Bilgisi: (2003-12-01)