 | 2012 |
|---|
| 8 |       | Laureano Lambán,
Francisco-Jesús Martín-Mateos,
Julio Rubio,
José-Luis Ruiz-Reina:
Formalization of a normalization theorem in simplicial topology.
Ann. Math. Artif. Intell. 64(1): 1-37 (2012) |
| 2011 |
|---|
| 7 | | Laureano Lambán,
Francisco-Jesús Martín-Mateos,
Julio Rubio,
José-Luis Ruiz-Reina:
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials.
ITP 2011: 200-215 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page