scientific article
From MaRDI portal
zbMath0295.68037MaRDI QIDQ4048580
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Finite constants: Characterizations of a new decidable set of constants, Simple section interchange and properties of non-computable functions, Correctness of parallel programs: The Church-Rosser approach, The method of attributes for data flow analysis. I: Exhaustive analysis