Document Versions

Encoding Transition Systems in Sequent Calculus –Raymond Mcdowell, Dale Miller, Catuscia Palamidessi — 1996 — Theoretical Computer Science
Encoding Transition Systems in Sequent Calculus –Raymond McDowell, Dale Miller, Catuscia Palamidessi — 1999
Encoding transition systems in sequent calculus –Raymond Mcdowell, Dale Miller, Catuscia Palamidessi — 2003 — Theoretical Computer Science
Encoding Transition Systems in Sequent Calculus –Raymond Mcdowell, Dale Miller, Catuscia Palamidessi — 2000 — Theoretical Computer Science
Encoding Transition Systems in Sequent Calculus: Preliminary Report –Raymond Mcdowell, Dale Miller, Catuscia Palamidessi — 1996 — Theoretical Computer Science
Encoding Transition Systems in Sequent Calculus: Preliminary Report –Raymond Mcdowell, Dale Miller, Catuscia Palamidessi — 1996 — Theoretical Computer Science
Encoding Transition Systems in Sequent Calculus: Preliminary Report –Raymond Mcdowell, Dale Miller, Catuscia Palamidessi — 1996 — Theoretical Computer Science
Encoding Transition Systems in Sequent Calculus –Raymond Mcdowell, Dale Miller, Catuscia Palamidessi — 1997 — Theoretical Computer Science