Alberto Momigliano and Alwen Tiu. Induction and co-induction in sequent calculus. In Proceedings of TYPES 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) Self-citation (Tiu) (Correct)
No context found.
A. Momigliano and A. Tiu. Induction and co-induction in sequent calculus. In Proc. of TYPES 2003.
A Proof Search Specification of the π-Calculus - Tiu, Miller Self-citation (Tiu) (Correct)
No context found.
A. Momigliano and A. Tiu. Induction and co-induction in sequent calculus. In Post-proceedings of TYPES 2003 Workshop, pages 293 -- 308. Springer-Verlag LNCS, Vol.3085, 2003.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
Alberto Momigliano and Alwen Tiu. Induction and co-induction in sequent calculus. In Proceedings of TYPES 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