×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
Câmpeanu, Cezar (ed.) et al., Descriptional complexity of formal systems. 18th IFIP WG 1.2 international conference, DCFS 2016, Bucharest, Romania, July 5–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-41113-2/pbk; 978-3-319-41114-9/ebook). Lecture Notes in Computer Science 9777, 180-191 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification
Software