|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | César Domínguez, Dominique Duval |
A Parameterization Process: from a Functorial Point of View.  |
Int. J. Found. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio |
Effective homology of bicomplexes, formalized in Coq. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Arturo Jaime |
Database design learning: A project-based approach organized through a course management system. |
Computers & Education |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Dominique Duval |
Diagrammatic logic applied to a parameterisation process. |
Mathematical Structures in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio |
Computing in Coq with Infinite Algebraic Data Structures |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jesús Aransay, César Domínguez |
A case-study in algebraic manipulation using mechanized reasoning tools. |
Int. J. Comput. Math. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio |
Computing in Coq with Infinite Algebraic Data Structures. |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Dominique Duval |
A parameterization process, functorially |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | César Domínguez, Dominique Duval |
Diagrammatic logic applied to a parameterization process |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dominique Duval, César Domínguez |
A parameterization process as a categorical construction |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jesús Aransay, César Domínguez |
Modelling Differential Structures in Proof Assistants: The Graded Case. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez |
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
hidden algebras, symbolic computation, Coq proof assistant |
| 1 | César Domínguez, Laureano Lambán, Julio Rubio |
Object oriented institutions to specify symbolic computation systems. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio, Francis Sergeraert |
Modeling Inheritance as Coercion in the Kenzo System. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia |
Towards Diagrammatic Specifications of Symbolic Computation Systems. |
Mathematics, Algorithms, Proofs |
2005 |
DBLP BibTeX RDF |
|
| 1 | César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio |
Hidden Specification of a Functional System. |
EUROCAST |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio |
Modeling inheritance as coercion in a symbolic computation system. |
ISSAC |
2001 |
DBLP DOI BibTeX RDF |
CLOS |
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")