![](/img/cover-not-exists.png)
[ACM Press the 2015 Conference - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15 - Certified Normalization of Context-Free Grammars
Firsov, Denis, Uustalu, TarmoYear:
2015
Language:
english
DOI:
10.1145/2676724.2693177
File:
PDF, 496 KB
english, 2015