J. Martínez

Available identifiers

zbMath Open martinez-del-castillo.javierMaRDI QIDQ556841

List of research outcomes

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
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	2011-01-28	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

Research outcomes over time

This page was built for person: J. Martínez