César Domínguez

From MaRDI portal
Person:631754

Available identifiers

zbMath Open dominguez.cesarMaRDI QIDQ631754

List of research outcomes





PublicationDate of PublicationType
Modeling inheritance as coercion in a symbolic computation system2017-02-03Paper
A certified reduction strategy for homological image processing2015-09-17Paper
https://portal.mardi4nfdi.de/entity/Q54038992014-03-19Paper
https://portal.mardi4nfdi.de/entity/Q31457422012-12-23Paper
A parameterization process: from a functorial point of view2012-08-30Paper
Effective homology of bicomplexes, formalized in Coq2011-03-14Paper
Formalizing simplicial topology in Isabelle/HOL and Coq2011-01-03Paper
A project-based experience in database design learning2011-01-03Paper
Diagrammatic logic applied to a parameterisation process2010-08-26Paper
Computing in Coq with infinite algebraic data structures2010-08-24Paper
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems2009-01-27Paper
Object oriented institutions to specify symbolic computation systems2008-02-15Paper
https://portal.mardi4nfdi.de/entity/Q44339882003-11-03Paper

Research outcomes over time

This page was built for person: César Domínguez

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:631754&oldid=11978340"
Powered by MediaWiki