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):

Logical Approaches to Computational Barriers

Roland Backhouse
Lecture Notes in Computer Science, Logical Approaches to Computational Barriers 3988 21 (2006)
DOI: 10.1007/11780342_3
See this article

Datatype-Generic Termination Proofs

Roland Backhouse and Henk Doornbos
Theory of Computing Systems 43 (3-4) 362 (2008)
DOI: 10.1007/s00224-007-9056-z
See this article

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Henk Doornbos and Roland Backhouse
Lecture Notes in Computer Science, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2297 204 (2002)
DOI: 10.1007/3-540-47797-7_6
See this article

Algebraic Methodology and Software Technology

Luís S. Barbosa, José N. Oliveira and Alexandra Silva
Lecture Notes in Computer Science, Algebraic Methodology and Software Technology 5140 83 (2008)
DOI: 10.1007/978-3-540-79980-1_7
See this article