Closed sets of universal Horn formulas for many-sorted (partial) algebras

Peter Burmeister

Banach Center Publications (1988)

  • Volume: 21, Issue: 1, page 129-143
  • ISSN: 0137-6934

How to cite

top

Peter Burmeister. "Closed sets of universal Horn formulas for many-sorted (partial) algebras." Banach Center Publications 21.1 (1988): 129-143. <http://eudml.org/doc/267734>.

@article{PeterBurmeister1988,
author = {Peter Burmeister},
journal = {Banach Center Publications},
keywords = {universal Horn formulas; closure operator of consequences},
language = {eng},
number = {1},
pages = {129-143},
title = {Closed sets of universal Horn formulas for many-sorted (partial) algebras},
url = {http://eudml.org/doc/267734},
volume = {21},
year = {1988},
}

TY - JOUR
AU - Peter Burmeister
TI - Closed sets of universal Horn formulas for many-sorted (partial) algebras
JO - Banach Center Publications
PY - 1988
VL - 21
IS - 1
SP - 129
EP - 143
LA - eng
KW - universal Horn formulas; closure operator of consequences
UR - http://eudml.org/doc/267734
ER -

NotesEmbed ?

top

You must be logged in to post comments.