Axiomatisability and hardness for universal Horn classes of hypergraphs

Lucy Ham, Marcel Jackson

Published: 2017-04-07

Note:

Journal: Algebra Univers. (2018) 79:30

DOI: 10.1007/s00012-018-0515-y

# BIB PDF ARXIV

Abstract

We characterise finite axiomatisability and intractability of deciding membership for universal Horn classes generated by finite loop-free hypergraphs.

arXiv++ Combinatorics

Axiomatisability and hardness for universal Horn classes of hypergraphs

Abstract

BibTeX