Sprenger, C. and M. Dam, On the structure of inductive reasoning: Circular and treeshaped proofs in the mu-calculus, To appear in proc. FOSSACS'03, Warsaw, Poland (2003). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Methods Research at SICS and KTH: An Overview - Dam, Fredlund, Gurov (2003) Self-citation (Dam) (Correct)
No context found.
Sprenger, C. and M. Dam, On the structure of inductive reasoning: Circular and treeshaped proofs in the mu-calculus, To appear in proc. FOSSACS'03, Warsaw, Poland (2003).
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (2 citations) (Correct)
No context found.
C. Spenger and M. Dams. On the structure of inductive reasoning: Circular and tree-shaped proofs in the -calculus. In A. Gordon, editor, FOSSACS'03, volume 2620 of LNCS, pages 425--440,. Springer Verlag, 2003.
Induction and Co-induction in Sequent Calculus - Momigliano, Tiu (2003) (1 citation) (Correct)
No context found.
C. Spenger and M. Dams. On the structure of inductive reasoning: Circular and tree-shaped proofs in the -calculus. In A. Gordon, editor, FOSSACS'03, vol 2620 of LNCS, pp 425--440,. Springer Verlag, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC