Efficient General Unification for XOR with Homomorphism (Q5200040): Difference between revisions

@@ Property / cites work @@
+Q4264733
@@ Property / cites work: Q4264733 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q3219154
@@ Property / cites work: Q3219154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751361
@@ Property / cites work: Q2751361 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
+Normal rank
@@ Property / cites work @@
+Q4341785
@@ Property / cites work: Q4341785 / rank @@
+Normal rank