Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Main Author: | Escobar, Santiago |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | Electronic Kit Book |
Language: | English |
Published: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
Series: | Lecture Notes in Computer Science
5979 |
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-642-11999-6 |
Similar Items
-
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
by: Schreye, Danny
Published: (2010) -
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
by: Blume, Matthias
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 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) -
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
by: Beckert, Bernhard
Published: (2006)