Travelled to:
1 × Canada
Collaborated with:
F.M.Brown F.Zoufaly I.Sanabria F.Bendeck
Talks about:
translat (1) schemata (1) cylindr (1) algebra (1) system (1) solver (1) legaci (1) rescu (1) equat (1)
Person: Carlos Araya
DBLP: Araya:Carlos
Contributed to:
Wrote 3 papers:
- WCRE-1995-ZoufalyASB #legacy #named
- RESCUE: Legacy Systems Translator (FZ, CA, IS, FB).
- CADE-1990-BrownA
- Schemata (FMB, CA), pp. 643–644.
- CADE-1990-BrownA90a #algebra #equation
- Cylindric Algebra Equation Solver (FMB, CA), pp. 645–646.