Suchergebnisse - Podelski, Andreas

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

    Equational and membership constraints for infinite trees
    von Niehren, Joachim, Podelski, Andreas, Treinen, Ralf

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A feature-based constraint system for logic programming with entailment
    von Aït-Kaci, Hassan, Podelski, Andreas, Smolka, Gert 1955-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Functions as passive constraints in LIFE
    von Aït-Kaci, Hassan, Podelski, Andreas

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Towards a meaning of LIFE
    von Aït-Kaci, Hassan, Podelski, Andreas

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Static analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018 : proceedings

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Podelski, Andreas …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Networked systems: 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018 : revised selected papers

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Podelski, Andreas …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Static analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018 : proceedings

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Podelski, Andreas …”
    Tagungsbericht Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Networked systems: 6th international conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Podelski, Andreas …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: