J. Martínez

On residuation in multilattices: Filters, congruences, and homomorphisms

Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez et al. · Fuzzy Sets and Systems · 2013 · 27 citations

Abstract Algebra, Universal Algebra, Modern Algebra

Generalizations of lattices via non-deterministic operators

J. Martínez, Gloria Gutiérrez, Inma P. de Guzmán et al. · Discrete Mathematics · 2005 · 21 citations

Quantum Lattice System, Lattice (Order), Non-deterministic Operators +2

A New Algebraic Tool for Automatic Theorem Provers

Pablo Cordero, Gloria Gutiérrez, J. Martínez et al. · Annals of Mathematics and Artificial Intelligence · 2004 · 19 citations

New Algebraic Tool, Engineering, Automated Reasoning +8

Optimal fixed-levels control for nonlinear systems with quadratic cost-functionals

Vadim Azhmyakov, J. Martínez, Alexander S. Poznyak · Optimal Control Applications and Methods · 2015 · 19 citations

Mathematical Programming, Nonlinear Control, Control Restrictions +11

Congruence relations on some hyperstructures

Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez et al. · Annals of Mathematics and Artificial Intelligence · 2009 · 13 citations

Congruence Relations, Modulus Problem, Universal Algebra +1