Generic Authenticated Data Structures, Formally. (Q5875417): Difference between revisions

@@ label / en / label / en @@
+Generic Authenticated Data Structures, Formally.
@@ Property / DOI @@
-.4230/LIPIcs.ITP.2019.10
@@ Property / DOI: 10.4230/LIPIcs.ITP.2019.10 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nominal Isabelle
@@ Property / describes a project that uses: Nominal Isabelle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.4230/LIPIcs.ITP.2019.10
+Normal rank
@@ Property / OpenAlex ID @@
+W2977737234
@@ Property / OpenAlex ID: W2977737234 / rank @@
+Normal rank
@@ Property / title @@
+Generic Authenticated Data Structures, Formally. (English)
+Normal rank
@@ Property / cites work @@
+Q4912847
@@ Property / cites work: Q4912847 / rank @@
+Normal rank
@@ Property / cites work @@
+The adequacy of Launchbury's natural semantics for lazy evaluation
+Normal rank
@@ Property / cites work @@
+Q2765457
@@ Property / cites work: Q2765457 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+A New Foundation for Nominal Isabelle
@@ Property / cites work: A New Foundation for Nominal Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Authenticated data structures, generically
@@ Property / cites work: Authenticated data structures, generically / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+General Bindings and Alpha-Equivalence in Nominal Isabelle
+Normal rank
@@ Property / cites work @@
+Formal SOS-Proofs for the Lambda-Calculus
@@ Property / cites work: Formal SOS-Proofs for the Lambda-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.ITP.2019.10
@@ Property / DOI: 10.4230/LIPICS.ITP.2019.10 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5875417