de Bruijn Indices for Metaterms
From MaRDI portal
Publication:3371148
DOI10.1093/logcom/exi051zbMath1085.68074OpenAlexW2064085819MaRDI QIDQ3371148
Alejandro Ríos, Delia Kesner, Eduardo Bonelli
Publication date: 21 February 2006
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exi051
Related Items (1)
This page was built for publication: de Bruijn Indices for Metaterms
