The basic algebraic structures in categories of derivations
Open Access
- 31 May 1975
- journal article
- Published by Elsevier in Information and Control
- Vol. 28 (1) , 1-29
- https://doi.org/10.1016/s0019-9958(75)90208-9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die ZopfgruppeComputing, 1971
- Ein Vollständigkeitssatz für Programme und SchaltkreiseActa Informatica, 1971
- Syntax and semantics: A categorical viewInformation and Control, 1970
- Zerlegungen von Semi-Thue-SystemenComputing, 1969
- Transformational classes of grammarsInformation and Control, 1969
- THE BRAID GROUP AND OTHER GROUPSThe Quarterly Journal of Mathematics, 1969
- Some remarks on derivations in general rewriting systemsInformation and Control, 1968