 | 2012 |
|---|
| 17 |       | César Domínguez,
Dominique Duval:
A Parameterization Process: from a Functorial Point of View.
Int. J. Found. Comput. Sci. 23(1): 225-242 (2012) |
| 2011 |
|---|
| 16 | | César Domínguez,
Julio Rubio:
Effective homology of bicomplexes, formalized in Coq.
Theor. Comput. Sci. 412(11): 962-970 (2011) |
| 2010 |
|---|
| 15 | | César Domínguez,
Julio Rubio:
Computing in Coq with Infinite Algebraic Data Structures.
AISC/MKM/Calculemus 2010: 204-218 |
| 14 | | César Domínguez,
Julio Rubio:
Computing in Coq with Infinite Algebraic Data Structures
CoRR abs/1004.4998: (2010) |
| 13 | | César Domínguez,
Arturo Jaime:
Database design learning: A project-based approach organized through a course management system.
Computers & Education 55(3): 1312-1320 (2010) |
| 12 | | Jesús Aransay,
César Domínguez:
A case-study in algebraic manipulation using mechanized reasoning tools.
Int. J. Comput. Math. 87(9): 1936-1949 (2010) |
| 11 | | César Domínguez,
Dominique Duval:
Diagrammatic logic applied to a parameterisation process.
Mathematical Structures in Computer Science 20(4): 639-654 (2010) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page