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)