Object oriented institutions to specify symbolic computation systems
RAIRO-Theor. Inf. Appl., 41 2 (2007) 191-214
Published online: 2007-07-18
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Formalization of a normalization theorem in simplicial topology
Laureano Lambán, Francisco-Jesús Martín–Mateos, Julio Rubio and José-Luis Ruiz–ReinaAnnals of Mathematics and Artificial Intelligence 64 (1) 1 (2012)
https://doi.org/10.1007/s10472-011-9274-6
A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW
CÉSAR DOMÍNGUEZ and DOMINIQUE DUVALInternational Journal of Foundations of Computer Science 23 (01) 225 (2012)
https://doi.org/10.1142/S0129054112500050
Effective homology of bicomplexes, formalized in Coq
César Domínguez and Julio RubioTheoretical Computer Science 412 (11) 962 (2011)
https://doi.org/10.1016/j.tcs.2010.11.016
A case-study in algebraic manipulation using mechanized reasoning tools
J. Aransay and C. DomínguezInternational Journal of Computer Mathematics 87 (9) 1936 (2010)
https://doi.org/10.1080/00207160802676604
Intelligent Computer Mathematics
César Domínguez and Julio RubioLecture Notes in Computer Science, Intelligent Computer Mathematics 6167 204 (2010)
https://doi.org/10.1007/978-3-642-14128-7_18
Diagrammatic logic applied to a parameterisation process
CÉSAR DOMÍNGUEZ and DOMINIQUE DUVALMathematical Structures in Computer Science 20 (4) 639 (2010)
https://doi.org/10.1017/S0960129510000150
Generating certified code from formal proofs: a case study in homological algebra
Jesús Aransay, Clemens Ballarin and Julio RubioFormal Aspects of Computing 22 (2) 193 (2010)
https://doi.org/10.1007/s00165-009-0120-0
Computer Aided Systems Theory - EUROCAST 2009
Jesús Aransay and César DomínguezLecture Notes in Computer Science, Computer Aided Systems Theory - EUROCAST 2009 5717 203 (2009)
https://doi.org/10.1007/978-3-642-04772-5_27
Intelligent Computer Mathematics
Francisco-Jesus Martín-Mateos, Julio Rubio and Jose-Luis Ruiz-ReinaLecture Notes in Computer Science, Intelligent Computer Mathematics 5625 106 (2009)
https://doi.org/10.1007/978-3-642-02614-0_13
Intelligent Computer Mathematics
César DomínguezLecture Notes in Computer Science, Intelligent Computer Mathematics 5144 270 (2008)
https://doi.org/10.1007/978-3-540-85110-3_23
Intelligent Computer Mathematics
Jónathan Heras, Vico Pascual and Julio RubioLecture Notes in Computer Science, Intelligent Computer Mathematics 5144 446 (2008)
https://doi.org/10.1007/978-3-540-85110-3_37