Stop When You Are Almost-Full - Adventures in Constructive Termination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt. Stop When You Are Almost-Full - Adventures in Constructive Termination. In Lennart Beringer, Amy P. Felty, editors, Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Volume 7406 of Lecture Notes in Computer Science, pages 250-265, Springer, 2012. [doi]

This author has not been identified. It may be one of the following persons:

Dimitrios Vytiniotis

Look up 'Dimitrios Vytiniotis' in GoogleThis author has not been identified. Look up 'Thierry Coquand' in GoogleThis author has not been identified. Look up 'David Wahlstedt' in Google

runs on WebDSL