Relating Nominal and Higher-Order Rewriting
From MaRDI portal
Publication:2922019
DOI10.1007/978-3-662-44522-8_21zbMath1425.68158OpenAlexW174435416MaRDI QIDQ2922019
Maribel Fernández, Jesús Emilio Domínguez
Publication date: 14 October 2014
Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44522-8_21
Related Items