A mechanisation of some context-free language theory in HOL4 (Q386032): Difference between revisions

@@ Property / DOI @@
-.1016/j.jcss.2013.05.003
@@ Property / DOI: 10.1016/j.jcss.2013.05.003 / 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.1016/j.jcss.2013.05.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2005008302
@@ Property / OpenAlex ID: W2005008302 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified, Executable Parsing
@@ Property / cites work: Verified, Executable Parsing / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalisation of the Normal Forms of Context-Free Grammars in HOL4
+Normal rank
@@ Property / cites work @@
+Total parser combinators
@@ Property / cites work: Total parser combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+TRX: A Formally Verified Parser Interpreter
@@ Property / cites work: TRX: A Formally Verified Parser Interpreter / rank @@
+Normal rank
@@ Property / cites work @@
+Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+A Brief Overview of HOL4
@@ Property / cites work: A Brief Overview of HOL4 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JCSS.2013.05.003
@@ Property / DOI: 10.1016/J.JCSS.2013.05.003 / rank @@
+Normal rank