Search

You searched for: Auteur Vidal, Germán Remove constraint Auteur: Vidal, Germán
1 - 3 of 3
Number of results to display per page

Search Results

1. Static Analysis
thumbnail
Full text!
Author:
Alpuente, María; Kanade, Takeo; Vidal, Germán; Vidal-Oriola, Germán
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
2. Logic-Based Program Synthesis and Transformation
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Vidal, Germán
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
3. Proceedings of the 10th international conference on Functional and Logic Programming
thumbnail
Full text!
Author:
Blume, Matthias; Association for Computing Machinery-Digital Library.; Kanade, Takeo; Kobayashi, Naoki; Vidal, Germán; Vidal-Oriola, Germán
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book