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

@@ 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