Moder Generation Theorem Proving with Finite Interval Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai. Moder Generation Theorem Proving with Finite Interval Constraints. In John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey, editors, Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Volume 1861 of Lecture Notes in Computer Science, pages 285-299, Springer, 2000. [doi]

This author has not been identified. Look up 'Reiner Hähnle' in GoogleThis author has not been identified. Look up 'Ryuzo Hasegawa' in GoogleThis author has not been identified. Look up 'Yasuyuki Shirai' in Google

runs on WebDSL