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

@@ Property / author @@
+David E. Nowak
@@ Property / author: David E. Nowak / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22863-6_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2952595174
@@ Property / OpenAlex ID: W2952595174 / rank @@
+Normal rank
@@ 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