Suchergebnisse - Hermenegildo, Manuel

  • Treffer 1 – 11 von 11
Treffer filtern
  1. 1
    Buchumschlag

    Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    von Hermenegildo, Manuel

    Veröffentlicht 2019
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    von Hermenegildo, Manuel

    Veröffentlicht 2010
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Independent AND-parallel narrowing
    von Kuchen, Herbert, Moreno-Navarro, Juan J., Hermenegildo, Manuel V.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10 - 11, 2005 ; proceedings

    Veröffentlicht 2005
    Weitere beteiligte Personen: “… Hermenegildo, Manuel …”
    Tagungsbericht Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Technical Communications of the 26th International Conference on Logic Programming (ICLP'10): ICLP’10, July 16–19, 2010, Edinburgh, UK

    Veröffentlicht 2010
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Logic-based program synthesis and transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Static analysis: 30th international symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Prolog: The Next 50 Years

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Static analysis: 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Tagungsbericht Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Logic-based program synthesis and transformation: 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Tagungsbericht Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Prolog: the next 50 years

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Buch


    Gespeichert in:

Suchwerkzeuge: