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

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

• Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
  ‌: Gottlob, G, և այլն
  Հրապարակվել է: (1999)
• Herbrand-Confluence
  ‌: Stefan Hetzl, և այլն
  Հրապարակվել է: (2013-12-01)
• On the Herbrand content of LK
  ‌: Bahareh Afshari, և այլն
  Հրապարակվել է: (2016-06-01)
• Inter-procedural Two-Variable Herbrand Equalities
  ‌: Stefan Schulze Frielinghaus, և այլն
  Հրապարակվել է: (2017-05-01)
• Herbrand expansions of some formulas of modal logic S4
  ‌: Stanislovas Norgėla
  Հրապարակվել է: (2003-12-01)