Prototyping combination of unification algorithms with the ELAN rule-based programming language
From MaRDI portal
Publication:4594238
DOI10.1007/3-540-62950-5_81zbMath1379.68204MaRDI QIDQ4594238
Publication date: 17 November 2017
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-62950-5_81
68Q42: Grammars and rewriting systems
Related Items