Ward Douglas Maurer

Available identifiers

zbMath Open maurer.ward-douglasMaRDI QIDQ458455

List of research outcomes

Publication	Date of Publication	Type
Relative precision in the inductive assertion method	2024-06-21	Paper
A survey of state vectors	2014-10-07	Paper
Simple section interchange and properties of non-computable functions	2010-08-26	Paper
Partially defined computer instructions and guards	2008-09-01	Paper
Generalized structured programs and loop trees	2007-07-23	Paper
A theory of computer instructions	2006-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q3657401	1984-01-01	Paper
The validity of return address schemes	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4766064	1973-01-01	Paper
A semantic extension of BNF	1972-01-01	Paper
On the definition of the variables used and set by a computation	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3212615	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5579102	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5582062	1969-01-01	Paper
Conformal Equivalence of Countable Dense Sets	1967-01-01	Paper
A Theory of Computer Instructions	1966-01-01	Paper
Realizing complex boolean functions with simple groups	1966-01-01	Paper
Computer experiments in finite algebra	1966-01-01	Paper
An Impossible Program	1966-01-01	Paper
A Property of Finite Simple Non-Abelian Groups	1965-01-01	Paper

Research outcomes over time

This page was built for person: Ward Douglas Maurer