 | 2009 |
|---|
| 10 |       | Jesús Aransay,
César Domínguez:
Modelling Differential Structures in Proof Assistants: The Graded Case.
EUROCAST 2009: 203-210 |
| 9 | | Dominique Duval,
César Domínguez:
A parameterization process as a categorical construction
CoRR abs/0908.3634: (2009) |
| 8 | | César Domínguez,
Dominique Duval:
Diagrammatic logic applied to a parameterization process
CoRR abs/0908.3737: (2009) |
| 7 | | César Domínguez,
Dominique Duval:
A parameterization process, functorially
CoRR abs/0908.4491: (2009) |
| 2008 |
|---|
| 6 | | César Domínguez:
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems.
AISC/MKM/Calculemus 2008: 270-284 |
| 2007 |
|---|
| 5 | | César Domínguez,
Laureano Lambán,
Julio Rubio:
Object oriented institutions to specify symbolic computation systems.
ITA 41(2): 191-214 (2007) |
| 2006 |
|---|
| 4 | | César Domínguez,
Julio Rubio,
Francis Sergeraert:
Modeling Inheritance as Coercion in the Kenzo System.
J. UCS 12(12): 1701-1730 (2006) |
| 2005 |
|---|
| 3 | | César Domínguez,
Dominique Duval,
Laureano Lambán,
Julio Rubio Garcia:
Towards Diagrammatic Specifications of Symbolic Computation Systems.
Mathematics, Algorithms, Proofs 2005 |
| 2001 |
|---|
| 2 | | César Domínguez,
Laureano Lambán,
Vico Pascual,
Julio Rubio:
Hidden Specification of a Functional System.
EUROCAST 2001: 555-569 |
| 1 | | César Domínguez,
Julio Rubio:
Modeling inheritance as coercion in a symbolic computation system.
ISSAC 2001: 109-115 |
