DOI10.1007/978-3-319-72044-9_13zbMath1496.68131MaRDI QIDQ5208508
Peter Csaba Ölveczky
Publication date: 16 January 2020 Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-319-72044-9_13
Mathematics Subject Classification ID
68Q42: Grammars and rewriting systems
68P20: Information storage and retrieval of data