Axiomatisability and hardness for universal Horn classes of hypergraphs

• Lucy Ham ^[1] ; Marcel Jackson ^[1]
  1. [1] La Trobe University

     La Trobe University

     Australia

     
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 79, Nº. 2, 2018
• Idioma: inglés
• DOI: 10.1007/s00012-018-0515-y
• Enlaces
  • Texto completo