Towards Critical Pair Analysis for the Graph Programming Language GP 2
From MaRDI portal
Publication:5208506
DOI10.1007/978-3-319-72044-9_11zbMath1496.68081MaRDI QIDQ5208506
Detlef Plump, Ivaylo Hristakiev
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_11
68N15: Theory of programming languages
Uses Software