 | 2007 |
|---|
| 6 |       | Mirian Andrés,
Laureano Lambán,
Julio Rubio:
Executing in Common Lisp, Proving in ACL2.
Calculemus/MKM 2007: 1-12 |
| 5 | | César Domínguez,
Laureano Lambán,
Julio Rubio:
Object oriented institutions to specify symbolic computation systems.
ITA 41(2): 191-214 (2007) |
| 2005 |
|---|
| 4 | | César Domínguez,
Dominique Duval,
Laureano Lambán,
Julio Rubio Garcia:
Towards Diagrammatic Specifications of Symbolic Computation Systems.
Mathematics, Algorithms, Proofs 2005 |
| 2003 |
|---|
| 3 | | Laureano Lambán,
Vico Pascual,
Julio Rubio:
An Object-oriented Interpretation of the EAT System.
Appl. Algebra Eng. Commun. Comput. 14(3): 187-215 (2003) |
| 2001 |
|---|
| 2 | | César Domínguez,
Laureano Lambán,
Vico Pascual,
Julio Rubio:
Hidden Specification of a Functional System.
EUROCAST 2001: 555-569 |
| 1999 |
|---|
| 1 | | Laureano Lambán,
Vico Pascual,
Julio Rubio:
Specifying Implementations.
ISSAC 1999: 245-251 |
