A Formalisation of Finite Automata Using Hereditarily Finite Sets (Q3454094): Difference between revisions

@@ Property / author @@
-Lawrence Charles Paulson
@@ Property / author: Lawrence Charles Paulson / rank @@
-Normal rank
@@ Property / author @@
+Lawrence Charles Paulson
@@ Property / author: Lawrence Charles Paulson / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Locales
@@ Property / describes a project that uses: Locales / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Finite Automata HF
@@ Property / describes a project that uses: Finite Automata HF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1687114231
@@ Property / OpenAlex ID: W1687114231 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01662
@@ Property / arXiv ID: 1505.01662 / rank @@
+Normal rank
@@ Property / cites work @@
+Locales: a module system for mathematical theories
+Normal rank
@@ Property / cites work @@
+Deciding Kleene Algebras in Coq
@@ Property / cites work: Deciding Kleene Algebras in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+A Constructive Theory of Regular Languages in Coq
@@ Property / cites work: A Constructive Theory of Regular Languages in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344149
@@ Property / cites work: Q4344149 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Pearl: regular expression equivalence and relation algebra
+Normal rank
@@ Property / cites work @@
+Unified Decision Procedures for Regular Expression Equivalence
+Normal rank
@@ Property / cites work @@
+Defining functions on equivalence classes
@@ Property / cites work: Defining functions on equivalence classes / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
+Normal rank
@@ Property / cites work @@
+Finite sets and Gödel's incompleteness theorems
@@ Property / cites work: Finite sets and Gödel's incompleteness theorems / rank @@
+Normal rank
@@ Property / cites work @@
+A formalisation of the Myhill-Nerode theorem based on regular expressions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3454094