相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Quang-Trung Ta et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2018)
A Cut-Free Cyclic Proof System for Kleene Algebra
Anupam Das et al.
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017 (2017)
Cyclic Arithmetic Is Equivalent to Peano Arithmetic
Alex Simpson
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017) (2017)
Circular proofs for the Godel-Lob provability logic
D. S. Shamkanov
MATHEMATICAL NOTES (2014)
Conjecture Synthesis for Inductive Theories
Moa Johansson et al.
JOURNAL OF AUTOMATED REASONING (2011)
Sequent calculi for induction and infinite descent
James Brotherston et al.
JOURNAL OF LOGIC AND COMPUTATION (2011)
Cyclic proofs of program termination in separation logic
James Brotherston et al.
ACM SIGPLAN NOTICES (2008)
Cut-free sequent systems for temporal logic
Kai Bruennler et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2008)
Descente infinie plus deduction
Claus-Peter Wirth
LOGIC JOURNAL OF THE IGPL (2004)
Cut-elimination for a logic with definitions and induction
R McDowell et al.
THEORETICAL COMPUTER SCIENCE (2000)