A Formalization of Polytime Functions (Q3088001): Difference between revisions

@@ Property / cites work @@
+Complexity Analysis by Rewriting
@@ Property / cites work: Complexity Analysis by Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+A new function algebra of EXPTIME functions by safe nested recursion
+Normal rank
@@ Property / cites work @@
+A Formal Language for Cryptographic Pseudocode
@@ Property / cites work: A Formal Language for Cryptographic Pseudocode / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
+Normal rank
@@ Property / cites work @@
+New directions in cryptography
@@ Property / cites work: New directions in cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Safe recursion with higher types and BCK-algebra
@@ Property / cites work: Safe recursion with higher types and BCK-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Game-Based Security Proofs
@@ Property / cites work: A Calculus for Game-Based Security Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698786
@@ Property / cites work: Q3698786 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational SLR: a logic for reasoning about computational indistinguishability
+Normal rank