Computational adequacy via ‘mixed’ inductive definitions

DOI10.1007/3-540-58027-1_3OpenAlexW1551132038MaRDI QIDQ5890041

Could not fetch data.

Publication date: 28 April 2023

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58027-1_3

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.