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:

On global induction mechanisms in a μ-calculus with explicit approximations

Christoph Sprenger, Mads Dam

RAIRO-Theor. Inf. Appl., 37 4 (2003) 365-391

Published online: 2004-01-15

DOI: https://doi.org/10.1051/ita:2003024

This article has been cited by the following article(s):

Sequent calculi for induction and infinite descent

J. Brotherston and A. Simpson
Journal of Logic and Computation 21 (6) 1177 (2011)
DOI: 10.1093/logcom/exq052
See this article

Foundations of Software Science and Computation Structures

Alex Simpson
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 10203 283 (2017)
DOI: 10.1007/978-3-662-54458-7_17
See this article

Static Analysis

James Brotherston
Lecture Notes in Computer Science, Static Analysis 4634 87 (2007)
DOI: 10.1007/978-3-540-74061-2_6
See this article

Programming Languages and Systems

James Brotherston, Nikos Gorogiannis and Rasmus L. Petersen
Lecture Notes in Computer Science, Programming Languages and Systems 7705 350 (2012)
DOI: 10.1007/978-3-642-35182-2_25
See this article

Automated Reasoning with Analytic Tableaux and Related Methods

James Brotherston
Lecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods 3702 78 (2005)
DOI: 10.1007/11554554_8
See this article

James Brotherston and Alex Simpson
51 (2007)
DOI: 10.1109/LICS.2007.16
See this article