Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems

DOI10.1007/978-3-319-04298-5_2zbMath1432.68033OpenAlexW3123709MaRDI QIDQ2938090

David Janin

Publication date: 13 January 2015

Published in: SOFSEM 2014: Theory and Practice of Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Algebraic theory of languages and automata (68Q70) Distributed systems (68M14) Inverse semigroups (20M18) Mathematics and music (00A65)

Related Items (3)

A syntactic congruence for languages of birooted trees ⋮ Some completely semisimple HNN-extensions of inverse semigroups ⋮ On labeled birooted tree languages: algebras, automata and logic

This page was built for publication: Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems