Peter Naur

Available identifiers

zbMath Open naur.peterDBLPn/PeterNaurWikidataQ92618 ScholiaQ92618MaRDI QIDQ579953

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3460852	2016-01-08	Paper
Knowing and the mystique of logic and rules	1996-08-19	Paper
Proof versus formalization	1995-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4003377	1993-01-23	Paper
Thinking and Turing's test	1986-01-01	Paper
Formalization in program development	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4096399	1976-01-01	Paper
Modified Report on the Algorithmic Language ALGOL 60	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134930	1975-01-01	Paper
An experiment on program development	1972-01-01	Paper
Programming by action clusters	1969-01-01	Paper
Features of the gier algol 4 system	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5563099	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5528165	1965-01-01	Paper
Automatic grading of students' ALGOL programming	1964-01-01	Paper
Using machine code within an algol system	1964-01-01	Paper
Revised report on the algorithmic language ALGOL 60	1963-01-01	Paper
The design of the GIER ALGOL compiler Part I	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3290936	1962-01-01	Paper
A storage allocation scheme for ALGOL 60	1961-01-01	Paper
A storage allocation scheme for ALGOL 60	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3233124	1956-01-01	Paper
Computation of Special Perturbations by an Electronic Calculator	1951-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Naur