A Constructive Theory of Regular Languages in Coq (Q2938041)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Constructive Theory of Regular Languages in Coq |
scientific article |
Statements
A Constructive Theory of Regular Languages in Coq (English)
0 references
13 January 2015
0 references
regular languages
0 references
regular expressions
0 references
finite automata
0 references
Myhill-Nerode
0 references
Coq
0 references
Ssreflect
0 references
