Deciding freeness for program schemes with a single unary function
From MaRDI portal
Publication:1159977
DOI10.1016/0020-0190(81)90118-6zbMath0476.68017OpenAlexW1982142491MaRDI QIDQ1159977
Publication date: 1981
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(81)90118-6
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work