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 / Mathematics Subject Classification ID @@
+V15
@@ Property / Mathematics Subject Classification ID: 68V15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6238119
@@ Property / zbMATH DE Number: 6238119 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+context-free languages
@@ Property / zbMATH Keywords: context-free languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+context-free grammars
@@ Property / zbMATH Keywords: context-free grammars / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pushdown automata
@@ Property / zbMATH Keywords: pushdown automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+closure properties
@@ Property / zbMATH Keywords: closure properties / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+HOL4
@@ Property / zbMATH Keywords: HOL4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TRX
@@ Property / describes a project that uses: TRX / 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.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
@@ links / mardi / name / links / mardi / name @@
+Publication:386032