Login / Signup
Dana S. Scott
Publication Activity (10 Years)
Years Active: 1958-2023
Publications (10 Years): 12
Top Topics
Formal Theory
Valued Semantics
Theorem Prover
Computer Supported Collaboration
Top Venues
CoRR
RAMiCS
LICS
CICM
</>
Publications
</>