Search the dblp DataBase

Publications of Author

1. César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia
   Towards Diagrammatic Specifications of Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP]
   Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
   
2. César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio
   Hidden Specification of a Functional System. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2001, pp:555-569 [Conf]
   
3. César Domínguez, Julio Rubio
   Modeling inheritance as coercion in a symbolic computation system. [Citation Graph (0, 0)][DBLP]
   ISSAC, 2001, pp:109-115 [Conf]
   
4. César Domínguez, Julio Rubio, Francis Sergeraert
   Modeling Inheritance as Coercion in the Kenzo System. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2006, v:12, n:12, pp:1701-1730 [Journal]
   
5. 
   Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   Computing in Coq with Infinite Algebraic Data Structures. [Citation Graph (, )][DBLP]
   
   
7. 
   Modelling Differential Structures in Proof Assistants: The Graded Case. [Citation Graph (, )][DBLP]
   
   
8. 
   A parameterization process as a categorical construction [Citation Graph (, )][DBLP]
   
   
9. 
   Diagrammatic logic applied to a parameterization process [Citation Graph (, )][DBLP]
   
   
10. 
    A parameterization process, functorially [Citation Graph (, )][DBLP]
    
    
11. 
    Computing in Coq with Infinite Algebraic Data Structures [Citation Graph (, )][DBLP]