Closed sets of universal Horn formulas for many-sorted (partial) algebras
Banach Center Publications (1988)
- Volume: 21, Issue: 1, page 129-143
- ISSN: 0137-6934
Access Full Article
top
How to cite
topPeter 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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.