Treffer 1 – 15 von 15 für Suche 'Marchiori, Elena', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Proving deadlock freedom of logic programs with dynamic scheduling

    Proving deadlock freedom of logic programs with dynamic scheduling von Marchiori, Elena

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A methodology for proving termination of general logic programs

    A methodology for proving termination of general logic programs von Marchiori, Elena

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Reasoning about Prolog programs from modes through types to assertions

    Reasoning about Prolog programs from modes through types to assertions von Apt, Krzysztof R. 1949-, Marchiori, Elena

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Proving run-time properties of general programs w.r.t. constructive negation

    Proving run-time properties of general programs w.r.t. constructive negation von Marchiori, Elena

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A logic for variable aliasing in logic programs

    A logic for variable aliasing in logic programs von Marchiori, Elena

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Some uses of constructive negation for classical problems in non-monotonic reasoning

    Some uses of constructive negation for classical problems in non-monotonic reasoning von Marchiori, Elena

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Some uses of constructive negation for classical problems in non-monotonic reasoning

    Some uses of constructive negation for classical problems in non-monotonic reasoning von Marchiori, Elena

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A theory of first-order built-in's Prolog

    A theory of first-order built-in's Prolog von Apt, Krzysztof R. 1949-, Marchiori, Elena, Palamidessi, Catuscia

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A declarative approach for first-order built-in's of prolog

    A declarative approach for first-order built-in's of prolog von Apt, Krzysztof R. 1949-, Marchiori, Elena, Palamidessi, Catuscia

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Proving run time properties of general programs w.r.t. constructive negation

    Proving run time properties of general programs w.r.t. constructive negation von Marchiori, Elena

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Design of abstract domains using first order logic

    Design of abstract domains using first order logic von Marchiori, Elena

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Proving termination of logic programs with delay declarations

    Proving termination of logic programs with delay declarations von Marchiori, Elena

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    A methodology for proving termination of general logic programs

    A methodology for proving termination of general logic programs von Marchiori, Elena

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    A logic for variable aliasing in logic programs

    A logic for variable aliasing in logic programs von Marchiori, Elena

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    A predicate transformer for unification

    A predicate transformer for unification von Colussi, Livio, Marchiori, Elena

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: