![]() | ![]() |
2006 | ||
---|---|---|
5 | EE | Ana Romero, Julio Rubio, Francis Sergeraert: Computing spectral sequences CoRR abs/cs/0602064: (2006) |
4 | EE | Ana Romero, Julio Rubio, Francis Sergeraert: Computing spectral sequences. J. Symb. Comput. 41(10): 1059-1079 (2006) |
3 | EE | César Domínguez, Julio Rubio, Francis Sergeraert: Modeling Inheritance as Coercion in the Kenzo System. J. UCS 12(12): 1701-1730 (2006) |
2005 | ||
2 | EE | Julio Rubio, Francis Sergeraert: Computing with locally effective matrices. Int. J. Comput. Math. 82(10): 1177-1189 (2005) |
1988 | ||
1 | Francis Sergeraert: From a Noncomputability Result to new interesting Definitions and Computability Results. ISSAC 1988: 26-32 |
1 | César Domínguez | [3] |
2 | Ana Romero | [4] [5] |
3 | Julio Rubio (Julio Rubio Garcia) | [2] [3] [4] [5] |