Simulating Finite Eilenberg Machines with a Reactive Engine (Q5166624): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / 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.entcs.2011.02.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2076881600
@@ Property / OpenAlex ID: W2076881600 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318281
@@ Property / Wikidata QID: Q113318281 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
+Normal rank
@@ Property / cites work @@
+The Reactive Engine for Modular Transducers
@@ Property / cites work: The Reactive Engine for Modular Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Eilenberg Machines
@@ Property / cites work: Finite Eilenberg Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Subset Coercions in Coq
@@ Property / cites work: Subset Coercions in Coq / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5166624