Showing 1 - 8 results of 8 for search 'Podelski, Andreas', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Equational and membership constraints for infinite trees

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

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Functions as passive constraints in LIFE

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

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A feature-based constraint system for logic programming with entailment

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

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Towards a meaning of LIFE

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

    Published 1991
    Book Interlibrary loan Place Request


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

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

    Published 2018
    Other Authors: “…Podelski, Andreas…”
    Get full text
    Electronic Conference Proceeding eBook


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

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

    Published 2019
    Other Authors: “…Podelski, Andreas…”
    Get full text
    Electronic Conference Proceeding eBook


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

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

    Published 2019
    Other Authors: “…Podelski, Andreas…”
    Conference Proceeding Book Interlibrary loan Place Request


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

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

    Published 2018
    Other Authors: “…Podelski, Andreas…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: