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
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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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