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)