Travelled to:
1 × Spain
Collaborated with:
M.Alpuente S.Escobar J.Meseguer
Talks about:
algorithm (1) modular (1) general (1) equat (1)
Person: Pedro Ojeda
DBLP: Ojeda:Pedro
Contributed to:
Wrote 1 papers:
- LOPSTR-2008-AlpuenteEMO #algorithm #composition #equation
- A Modular Equational Generalization Algorithm (MA, SE, JM, PO), pp. 24–39.