Search

You searched for: Auteur Hermenegildo, Manuel Remove constraint Auteur: Hermenegildo, Manuel
1 - 5 of 5
Number of results to display per page

Search Results

1. Practical Aspects of Declarative Languages
thumbnail
Full text!
Author:
Hermenegildo, Manuel V.; Cabeza, Daniel; Kanade, Takeo; Hermenegildo, Manuel; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
2. Proceedings of the 9th international conference on Functional and logic programming
thumbnail
Full text!
Author:
Garrigue, Jacques; Association for Computing Machinery-Digital Library.; Hermenegildo, Manuel V.; Hermenegildo, Manuel
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
3. Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
thumbnail
Full text!
Author:
Hermenegildo, Manuel V.; Morales, José F.
Publisher:
Cham Springer 2023
Format:
e-book
4. Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Author:
Barthe, Gilles; Association for Computing Machinery-Digital Library.; Hermenegildo, Manuel; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
5. Prolog
thumbnail
Full text!
Author:
Warren, David S.; Dahl, Veronica; Eiter, Thomas; Hermenegildo, Manuel V.; Kowalski, Robert; Rossi, Francesca
Publisher:
Cham Springer 2023
Format:
e-book