Maria A. Galán

13 papers Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2013 J jnl
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques.
Fuzzy Sets Syst.
Inmaculada Fortes, Maria A. Galán, Gabriel Aguilera, Alfredo Burrieza, J. Morones, Sixto Sánchez
2009 — conf
Paradigms for Non-classical Substitutions.
ISMVL
Patrik Eklund, Maria A. Galán, Jari Kortelainen, Lawrence Neff Stout
2007 — conf
On Logic with Fuzzy and Rough Powerset Monads.
RSEISP
Patrik Eklund, Maria A. Galán
2007 J jnl
Powersets of terms and composite monads.
Fuzzy Sets Syst.
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2007 — conf
The Rough Powerset Monad.
ISMVL
Patrik Eklund, Maria A. Galán
2007 J jnl
The Rough Powerset Monad.
J. Multiple Valued Log. Soft Comput.
Patrik Eklund, Maria A. Galán
2006 — conf
Monads Can Be Rough.
RSCTC
Patrik Eklund, Maria A. Galán
2006 — conf
Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras.
MFCSIT
Patrik Eklund, Maria A. Galán, Werner Gähler
2005 — conf
A note on partially ordered generalized terms.
EUSFLAT Conf.
Patrik Eklund, Maria A. Galán, Werner Gähler, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2004 J jnl
Similarities between powersets of terms.
Fuzzy Sets Syst.
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2002 — conf
A categorical approach to unification of generalised terms.
UNCL@ICALP
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2001 — conf
Composing Submonads.
ISMVL
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2000 — conf
A graphical approach to monad compositions.
MFCSIT
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde