Equivalence of programs with structured variables
From MaRDI portal
Publication:2554227
DOI10.1016/S0022-0000(72)80031-XzbMath0242.68010OpenAlexW2032687123MaRDI QIDQ2554227
Publication date: 1972
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0022-0000(72)80031-x
Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01)
Related Items
Cites Work