G. Gutiérrez

Available identifiers

Publication	Date of Publication	Type
On residuation in multilattices: filters, congruences, and homomorphisms.	2015-06-24	Paper
Finitary coalgebraic multisemilattices and multilattices.	2014-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q5389723	2012-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q3075118	2011-02-10	Paper
A coalgebraic approach to non-determinism: applications to multilattices	2011-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q3584371	2010-08-27	Paper
Congruence relations on some hyperstructures	2010-03-19	Paper
Fuzzy congruence relations on nd-groupoids	2009-11-10	Paper
Generalizations of lattices via non-deterministic operators	2005-06-23	Paper
A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics	2005-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4453161	2004-03-07	Paper
Satisfiability testing for Boolean formulas using \(\Delta\)-trees	2003-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4536325	2002-11-25	Paper

This page was built for person: G. Gutiérrez