Scott, Dana S.

Overview

Works:	67 works in 112 publications in 3 languages and 2,097 library holdings
Roles:	Editor, Honoree, Thesis advisor
Classifications:	qa3, 511.3

Publication Timeline

1950 |

|2020

Key

Publications about Dana S Scott

Publications by Dana S Scott

Most widely held works about Dana S Scott

Recent developments in domain theory : a collection of papers in honour of Dana S. Scott ( Book )
Scott's suggestions augmented and applied by John L Baker ( Book )

Most widely held works by Dana S Scott

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 ( Book )
6 editions published in 1978 in English and held by 375 libraries worldwide

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 by Algebra, and Analysis Research Symposium on Applications of Sheaf Theory to Logic ( Book )
4 editions published in 1979 in English and held by 373 libraries worldwide

Axiomatic set theory by Symposium in Pure Mathematics ( Book )
in English and held by 358 libraries worldwide

An introduction to modal logic : the Lemmon notes by E. J Lemmon ( Book )
2 editions published in 1977 in English and held by 258 libraries worldwide

A selective bibliography of philosophical logic by Christopher Peacocke ( Book )
11 editions published between 1973 and 1979 in English and held by 136 libraries worldwide

The innovative university ( Book )
3 editions published in 2004 in English and held by 93 libraries worldwide

The lattice flow diagrams by Dana S Scott ( Book )
1 edition published in 1970 in English and held by 69 libraries worldwide

Outline of a mathematical theory of computation by Dana S Scott ( Book )
1 edition published in 1970 in English and held by 57 libraries worldwide

A bibliography of logic books by Michael S Moss ( Book )
2 editions published between 1975 and 1981 in English and held by 37 libraries worldwide

Toward a mathematical semantics for computer languages by Dana S Scott ( Book )
1 edition published in 1971 in English and held by 30 libraries worldwide

Removal of phosphates and metals from sewage sludge by Dana S Scott ( Book )
1 edition published in 1973 in English and held by 20 libraries worldwide

Continuous lattices by Dana S Scott ( Book )
2 editions published between 1971 and 1972 in English and held by 19 libraries worldwide

Notes on the formalization of logic by Dana S Scott ( Book )
3 editions published in 1981 in English and held by 18 libraries worldwide

Axiomatic set theory : [proceedings of the Symposium in Pure Mathematics of the AMS, held at the Univ. of Calif., LosAngeles, Calif., July 10-Aug. 5, 1967] 2 ( Book )
2 editions published in 1974 in Undetermined and English and held by 17 libraries worldwide

Lectures on a mathematical theory of computation by Dana S Scott ( Book )
2 editions published in 1981 in English and held by 17 libraries worldwide

Axiomatic set theory ( Book )
6 editions published in 1971 in English and held by 16 libraries worldwide

Data types as lattices by Dana S Scott ( Book )
1 edition published in 1976 in English and held by 12 libraries worldwide

Axiomatic set theory by Dana S Scott ( Book )
1 edition published in 1971 in English and held by 10 libraries worldwide

Axiomatic set theory : [proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at the University of California, Los Angeles, California, July 10 - August 5, 1967] 1 ( Book )
2 editions published in 1971 in English and held by 8 libraries worldwide

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 by Algebra, and Analysis Research Symposium on Applications of Sheaf Theory to Logic ( Book )
1 edition published in 1979 in English and held by 3 libraries worldwide