Journal papers and Electronic Notes
- "A graphical approach to monad compositions",
In Electronic Notes in Theoretical Computer Science 40 (2001),
MFCSIT 2000. [Abstract]
- "Set functors, L-fuzzy set categories
and generalised terms", Computers and Mathematics with applications,
43 (2002), pp. 693-705. [Abstract]
- "A categorical approach to unification of generalized terms",
Unification in Non-Clasical Logics workshop at ICALP 2002, Málaga
(Spain), Electronic Notes in Theoretical Computer Science 66.5
(2002). [Abstract]
- "Similarities between
powersets of terms", Fuzzy Sets and Systems (2003). Accepted.
[Abstract]
Conference papers (refereed)
- "Set functors and generalised
terms",
Proc. 8th Information Processing and Management of Uncertainty
in Knowledge-Based Systems Conference (IPMU 2000), pp. 1595-1599.
[Abstract]
- "Generalised terms and composition of
monads", Proc. X Spanish Conference on Fuzzy Logic and Technologies
(ESTYLF 2000), pp. 155-160. [Abstract]
- "Composing submonads", Proc. International
Symposium on Multiple Valued Logics, ISMVL 2001, 367-372. [Abstract]
- "Set functors, L-fuzzy set categories:
towards a fuzzy programming paradigm",Proc. International
ICSC Symposium on Fuzzy Logic and Applications (FLA'2001), pp.
658-664. [Abstract]
- "A framework for unification
using powersets of terms", Proc. 9th Information Processing
and Management of Uncertainty in Knowledge Based Systems Conference
(IPMU 2002), pp. 1095-1098. [Abstract]
Licentiate Thesis
- Galán, M.A., "Generalised
Terms", UMINF 01.09, ISSN-0348-0542, May 11, 2001.[Abstract]
Ph.D. Thesis
- Galán, M.A., "Categorical
Unification", UMINF 04.09, ISSN-0348-0542, ISBN 91-7305-642-1,
May 24, 2004.[Abstract]
|
