Confluence thanks to extensional determinism
From MaRDI portal
Publication:5262976
DOI10.1016/J.ENTCS.2005.12.098zbMATH Open1316.68106OpenAlexW2140380236MaRDI QIDQ5262976FDOQ5262976
Publication date: 10 July 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.098
Cites Work
Cited In (5)
Recommendations
This page was built for publication: Confluence thanks to extensional determinism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262976)