3 citations found. Retrieving documents...
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