Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Main Author: | Blume, Matthias |
---|---|
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Kobayashi, Naoki, Vidal, GermΓ'n |
Format: | Electronic Kit Book |
Language: | English |
Published: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
Series: | Lecture Notes in Computer Science
6009 |
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-642-12251-4 |
Similar Items
-
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25βMay 1, 2010, Revised Selected Papers
by: Clarke, Edmund M., Jr. 1945-2020. (Edmund Melson)
Published: (2010) -
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
by: FermΓΌller, Christian G
Published: (2010) -
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
by: Schreye, Danny
Published: (2010) -
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
by: Qin, Shengchao
Published: (2010) -
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
by: Leavens, Gary T
Published: (2010)