A Quest for Kleene Algebra in 2 Dimensions

DOI10.1007/978-3-319-24704-5_1zbMath1471.68121OpenAlexW2280015024MaRDI QIDQ3460613

Gheorghe Ştefănescu

Publication date: 8 January 2016

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24704-5_1

zbMATH Keywords

relational semanticsregular expressionsfinite automatainteractive systemsscenariosKleene algebrarecursive specifications2-dimensional languages2-dimensional regular expressionsself-assembling tile systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: A Quest for Kleene Algebra in 2 Dimensions