2015
Formations of monoids, congruences, and formal languages
Publication
Publication
| Additional Metadata | |
|---|---|
| CWI | |
| Formal methods [FM] | |
| Organisation | Computer Security |
|
Ballester-Bolinches, A., Cosme-Llopez, E., Esteban-Romero, R., & Rutten, J. (2015). Formations of monoids, congruences, and formal languages. Formal methods [FM]. CWI. |
|