Dana Scott
Dana Scott
Visiting Scholar, UC Berkeley
Email verificata su cs.cmu.edu
TitoloCitata daAnno
Finite automata and their decision problems
MO Rabin, D Scott
IBM journal of research and development 3 (2), 114-125, 1959
22121959
A compendium of continuous lattices
G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott
Springer Science & Business Media, 2012
20672012
Continuous lattices and domains
G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott
Cambridge university press, 2003
18012003
Continuous lattices
D Scott
Toposes, algebraic geometry and logic, 97-136, 1972
11791972
Data types as lattices
D Scott
Siam Journal on computing 5 (3), 522-587, 1976
11261976
Domains for denotational semantics
DS Scott
International Colloquium on Automata, Languages, and Programming, 577-610, 1982
10791982
Outline of a mathematical theory of computation
D Scott
Oxford University Computing Laboratory, Programming Research Group, 1970
9831970
Toward a mathematical semantics for computer languages
D Scott, C Strachey
Oxford University Computing Laboratory, Programming Research Group, 1971
9461971
Foundational aspects of theories of measurement 1
D Scott, P Suppes
The journal of symbolic logic 23 (2), 113-128, 1958
8261958
Measurement structures and linear inequalities
D Scott
Journal of mathematical psychology 1 (2), 233-247, 1964
5581964
Advice on modal logic
D Scott
Philosophical problems in logic, 143-173, 1970
5321970
Sheaves and logic
MP Fourman, DS Scott
Applications of sheaves, 302-401, 1979
4161979
Toposes and local set theories: an introduction
JL Bell
Courier Corporation, 2008
4122008
Semantic domains
CA Gunter, DS Scott
Formal Models and Semantics, 633-674, 1990
3821990
A type-theoretical alternative to ISWIM, CUCH, OWHY
DS Scott
Theoretical Computer Science 121 (1-2), 411-440, 1993
3581993
The lattice of flow diagrams
D Scott
Symposium on semantics of algorithmic languages, 311-366, 1971
3301971
An introduction to modal logic
EJ Lemmon, D Scott, K Segerberg
3291979
Boolean-valued models and independence proofs in set theory
JL Bell, D Scott
3001981
Lectures on a mathematical theory of computation
DS Scott
Theoretical Foundations of Programming Methodology, 145-292, 1982
2881982
Completeness and axiomatizability in many-valued logic
D Scott
Proceedings of the Tarski symposium 25, 411-436, 1974
2871974
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20