G. Gutiérrez

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On residuation in multilattices: filters, congruences, and homomorphisms. Fuzzy Sets and Systems	2015-06-24	Paper
Finitary coalgebraic multisemilattices and multilattices. Applied Mathematics and Computation	2014-06-27	Paper
Restricted ideals and the groupability property. Tools for temporal reasoning.	2012-04-23	Paper
Restricted ideals and the groupability property. Tools for temporal reasoning.	2012-04-23	Paper
Ideals in multisemilattices and multilattices	2011-02-10	Paper
A coalgebraic approach to non-determinism: applications to multilattices Information Sciences	2011-01-28	Paper
Algebraic topics on discrete mathematics	2010-08-27	Paper
Congruence relations on some hyperstructures Annals of Mathematics and Artificial Intelligence	2010-03-19	Paper
Fuzzy congruence relations on nd-groupoids International Journal of Computer Mathematics	2009-11-10	Paper
Generalizations of lattices via non-deterministic operators Discrete Mathematics	2005-06-23	Paper
A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics Annals of Mathematics and Artificial Intelligence	2005-01-17	Paper
scientific article; zbMATH DE number 2050901 (Why is no real title available?)	2004-03-07	Paper
Satisfiability testing for Boolean formulas using -trees Studia Logica	2003-03-12	Paper
scientific article; zbMATH DE number 1759377 (Why is no real title available?)	2002-11-25	Paper

Research outcomes over time

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