![](/img/cover-not-exists.png)
[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 - Theories of Homomorphic Encryption, Unification, and the Finite Variant Property
Yang, Fan, Escobar, Santiago, Meadows, Catherine, Meseguer, José, Narendran, PaliathYear:
2014
Language:
english
DOI:
10.1145/2643135.2643154
File:
PDF, 342 KB
english, 2014