Treffer 1 - 20 von 34 für Suche 'Hermenegildo, Manuel', Suchdauer: 0,33s Treffer weiter einschränken
  1. 1
    A restricted AND-parallel execution model and abstract machine for PROLOG programs
    von Hermenegildo, Manuel V.
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Hermenegildo, Manuel Victor
    Veröffentlicht 1987
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    An abstract machine for restricted AND-parallel execution of logic programs
    von Hermenegildo, Manuel V.
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10 - 11, 2005 ; proceedings
    Veröffentlicht 2005
    Cover
    Einführung/Vorwort
    Inhaltsverzeichnis
    Volltext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Programming languages: implementations, logics and programs : proceedings
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Programming language implementation and logic programming : proceedings
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17 - 20, 2002 ; proceedings
    Veröffentlicht 2002
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994 ; proceedings
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Programming languages: implementations, logics and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 ; proceedings
    Veröffentlicht 1995
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Static analysis : 9th international symposium ; proceedings
    Veröffentlicht 2002
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Programming languages: implementations, logics and programs : 7th international symposium; proceedings
    Veröffentlicht 1995
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Programming language implementation and logic programming : 6th International Symposium, Madrid, Spain, September 14 - 16, 1994; proceedings
    Veröffentlicht 1994
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Efficient management of backtracking in AND-parallelism
    von Hermenegildo, Manuel V.
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Veröffentlicht 2020
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Static analysis : 9th international symposium ; proceedings
    Veröffentlicht 2002
    Inhaltsverzeichnis
    Kapitel 1
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings
    Veröffentlicht 2010
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Practical aspects of declarative languages : 7th international symposium ; proceedings
    Veröffentlicht 2005
    Full Text
    Vorwort
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Incremental Analysis of Logic Programs with Assertions and Open Predicates
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Static analysis : 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings
    Veröffentlicht 2023
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Towards Incremental and Modular Context-Sensitive Analysis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: