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

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

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

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

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

Weitere Verfasser: “… Podelski, Andreas …”
DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

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

Weitere Verfasser: “… Podelski, Andreas …”
DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

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

Weitere Verfasser: “… Podelski, Andreas …”

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

Weitere Verfasser: “… Podelski, Andreas …”