On global induction mechanisms in a μ-calculus with explicit approximations
RAIRO-Theor. Inf. Appl., 37 4 (2003) 365-391
Published online: 2004-01-15
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):
Abstract cyclic proofs
Bahareh Afshari and Dominik WehrMathematical Structures in Computer Science 1 (2024)
https://doi.org/10.1017/S0960129524000070
From GTC to : Generating reset proof systems from cyclic proof systems
Graham E. Leigh and Dominik WehrAnnals of Pure and Applied Logic 175 (10) 103485 (2024)
https://doi.org/10.1016/j.apal.2024.103485
PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS
BAHAREH AFSHARI, SEBASTIAN ENQVIST, GRAHAM E. LEIGH, JOHANNES MARTI and YDE VENEMAThe Journal of Symbolic Logic 1 (2023)
https://doi.org/10.1017/jsl.2023.60
Foundations of Software Science and Computation Structures
Alex SimpsonLecture Notes in Computer Science, Foundations of Software Science and Computation Structures 10203 283 (2017)
https://doi.org/10.1007/978-3-662-54458-7_17
Programming Languages and Systems
James Brotherston, Nikos Gorogiannis and Rasmus L. PetersenLecture Notes in Computer Science, Programming Languages and Systems 7705 350 (2012)
https://doi.org/10.1007/978-3-642-35182-2_25
Sequent calculi for induction and infinite descent
J. Brotherston and A. SimpsonJournal of Logic and Computation 21 (6) 1177 (2011)
https://doi.org/10.1093/logcom/exq052
Static Analysis
James BrotherstonLecture Notes in Computer Science, Static Analysis 4634 87 (2007)
https://doi.org/10.1007/978-3-540-74061-2_6
51 (2007)
https://doi.org/10.1109/LICS.2007.16
Automated Reasoning with Analytic Tableaux and Related Methods
James BrotherstonLecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods 3702 78 (2005)
https://doi.org/10.1007/11554554_8