António Malheiro. On Finite Semigroup Cross-Sections and Complete Rewriting Systems. In Zoran Majkic, Michael Sipser, R. Radha, Daming Wei, editors, International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008. pages 59-63, ISRST, 2008.
@inproceedings{Malheiro08, title = {On Finite Semigroup Cross-Sections and Complete Rewriting Systems}, author = {António Malheiro}, year = {2008}, tags = {completeness, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Malheiro08}, cites = {0}, citedby = {0}, pages = {59-63}, booktitle = {International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008}, editor = {Zoran Majkic and Michael Sipser and R. Radha and Daming Wei}, publisher = {ISRST}, isbn = {978-1-60651-006-3}, }