A Certified Functional Nominal C-Unification Algorithm

From MaRDI portal
Publication:5097631

DOI10.1007/978-3-030-45260-5_8zbMath1502.68145OpenAlexW3020665690MaRDI QIDQ5097631

Gabriel Ferreira Silva, Maribel Fernández, Mauricio Ayala-Rincón, Daniele Nantes-Sobrinho

Publication date: 25 August 2022

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-45260-5_8




Related Items (2)



Cites Work


This page was built for publication: A Certified Functional Nominal C-Unification Algorithm