Simulation of simultaneous safe recursion over an arbitrary structure
From MaRDI portal
Publication:845681
DOI10.1016/j.ipl.2006.03.003zbMath1184.68254OpenAlexW1986483728MaRDI QIDQ845681
Publication date: 29 January 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2006.03.003
Cites Work
This page was built for publication: Simulation of simultaneous safe recursion over an arbitrary structure