A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl) (Q3088018): Difference between revisions

@@ Property / author @@
-Xing-Yuan Zhang
@@ Property / author: Xing-Yuan Zhang / rank @@
-Normal rank
@@ Property / author @@
+Xing-Yuan Zhang
@@ Property / author: Xing-Yuan Zhang / 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_25
+Normal rank
@@ Property / OpenAlex ID @@
+W1500313939
@@ Property / OpenAlex ID: W1500313939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736387
@@ Property / cites work: Q4736387 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing the Logic-Automaton Connection
@@ Property / cites work: Formalizing the Logic-Automaton Connection / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / 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 @@
+Regular-expression derivatives re-examined
@@ Property / cites work: Regular-expression derivatives re-examined / rank @@
+Normal rank
@@ Property / cites work @@
+Adapting functional programs to higher order logic
+Normal rank