×

Found 5 Documents (Results 1–5)

Regular varieties of automata and coequations. (English) Zbl 1432.68270

Hinze, Ralf (ed.) et al., Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9129, 224-237 (2015).
MSC:  68Q70 08B05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software