Unification Modulo Homomorphic Encryption (Q3655194): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-04222-5_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1524919255
@@ Property / OpenAlex ID: W1524919255 / rank @@
+Normal rank
@@ Property / cites work @@
+Intruders with Caps
@@ Property / cites work: Intruders with Caps / rank @@
+Normal rank
@@ Property / cites work @@
+A practical secret voting scheme for large scale elections
+Normal rank
@@ Property / cites work @@
+Intruder deduction for the equational theory of abelian groups with distributive encryption
+Normal rank
@@ Property / cites work @@
+On the unification problem for Cartesian closed categories
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Unification problems with one-sided distributivity
+Normal rank