[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Decision Procedures for Proving Inductive Theorems without Induction
Aoto, Takahito, Stratulat, SorinYear:
2014
Language:
english
DOI:
10.1145/2643135.2643156
File:
PDF, 392 KB
english, 2014