A Cut-Free and Invariant-Free Sequent Calculus for PLTL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas. A Cut-Free and Invariant-Free Sequent Calculus for PLTL. In Jacques Duparc, Thomas A. Henzinger, editors, Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings. Volume 4646 of Lecture Notes in Computer Science, pages 481-495, Springer, 2007. [doi]

This author has not been identified. Look up 'Joxe Gaintzarain' in GoogleThis author has not been identified. Look up 'Montserrat Hermo' in GoogleThis author has not been identified. Look up 'Paqui Lucio' in GoogleThis author has not been identified. Look up 'Marisa Navarro' in GoogleThis author has not been identified. Look up 'Fernando Orejas' in Google

runs on WebDSL