@inproceedings{DBLP:conf/RelMiCS/CantoneZ06,
author = {Domenico Cantone and
Calogero G. Zarba},
title = {A Decision Procedure for Monotone Functions over Bounded
and Complete Lattices},
booktitle = {Theory and Applications of Relational Structures as Knowledge
Instruments},
year = {2006},
pages = {318-333},
ee = {http://dx.doi.org/10.1007/11964810_15},
crossref = {DBLP:conf/RelMiCS/2006tarski},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/RelMiCS/2006tarski,
editor = {Harrie C. M. de Swart and
Ewa Orlowska and
Gunther Schmidt and
Marc Roubens},
title = {Theory and Applications of Relational Structures as Knowledge
Instruments II, International Workshops of COST Action 274,
TARSKI, 2002-2005, Selected Revised Papers},
booktitle = {Theory and Applications of Relational Structures as Knowledge
Instruments},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4342},
year = {2006},
isbn = {3-540-69223-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-10-12 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
