On Classes of Structures Axiomatizable by Universal D-Horn Sentences and Universal Positive Disjunctions
Algebra Universalis - Switzerland
doi 10.1007/s00012-018-0522-z
Full Text
Open PDFAbstract
Available in full text
Date
May 7, 2018
Authors
Publisher
Springer Science and Business Media LLC