![](/img/cover-not-exists.png)
[ACM Press the 19th International Symposium - Namur, Belgium (2017.10.09-2017.10.11)] Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 - Conditional narrowing modulo SMT and axioms
Aguirre, Luis, Martí-Oliet, Narciso, Palomino, Miguel, Pita, IsabelYear:
2017
Language:
english
DOI:
10.1145/3131851.3131856
File:
PDF, 978 KB
english, 2017