Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Dana_Scott> }
- Andrej_Bauer doctoralAdvisor Dana_Scott.
- Angus_Macintyre doctoralAdvisor Dana_Scott.
- Jack_Copeland doctoralAdvisor Dana_Scott.
- Michael_Fourman doctoralAdvisor Dana_Scott.
- Peter_Mosses doctoralAdvisor Dana_Scott.
- Alonzo_Church doctoralStudent Dana_Scott.
- Logical_Methods_in_Computer_Science editor Dana_Scott.
- D._S._Scott wikiPageRedirects Dana_Scott.
- Dana_S._Scott wikiPageRedirects Dana_Scott.
- Dana_Stewart_Scott wikiPageRedirects Dana_Scott.
- 1932_in_philosophy wikiPageWikiLink Dana_Scott.
- 1976_in_science wikiPageWikiLink Dana_Scott.
- 1997_in_philosophy wikiPageWikiLink Dana_Scott.
- ACM_SIGLOG wikiPageWikiLink Dana_Scott.
- Academic_genealogy_of_computer_scientists wikiPageWikiLink Dana_Scott.
- Alfred_Tarski wikiPageWikiLink Dana_Scott.
- Alonzo_Church wikiPageWikiLink Dana_Scott.
- Andrej_Bauer wikiPageWikiLink Dana_Scott.
- Angus_Macintyre wikiPageWikiLink Dana_Scott.
- Arturo_Carsetti wikiPageWikiLink Dana_Scott.
- Boolean-valued_model wikiPageWikiLink Dana_Scott.
- Boolean_algebra_(structure) wikiPageWikiLink Dana_Scott.
- Cardinal_assignment wikiPageWikiLink Dana_Scott.
- Cardinal_number wikiPageWikiLink Dana_Scott.
- Carnegie_Mellon_School_of_Computer_Science wikiPageWikiLink Dana_Scott.
- Cartesian_monoid wikiPageWikiLink Dana_Scott.
- Categorical_logic wikiPageWikiLink Dana_Scott.
- Chalfont_Road wikiPageWikiLink Dana_Scott.
- Christopher_Strachey wikiPageWikiLink Dana_Scott.
- Combinatory_logic wikiPageWikiLink Dana_Scott.
- Complete_Heyting_algebra wikiPageWikiLink Dana_Scott.
- Computable_topology wikiPageWikiLink Dana_Scott.
- Constructive_set_theory wikiPageWikiLink Dana_Scott.
- D._S._Scott wikiPageWikiLink Dana_Scott.
- Dana_(given_name) wikiPageWikiLink Dana_Scott.
- Dana_S._Scott wikiPageWikiLink Dana_Scott.
- Dana_Stewart_Scott wikiPageWikiLink Dana_Scott.
- Denotational_semantics wikiPageWikiLink Dana_Scott.
- Domain_theory wikiPageWikiLink Dana_Scott.
- European_Association_for_Theoretical_Computer_Science wikiPageWikiLink Dana_Scott.
- Forcing_(mathematics) wikiPageWikiLink Dana_Scott.
- Fred_S._Roberts wikiPageWikiLink Dana_Scott.
- Glossary_of_set_theory wikiPageWikiLink Dana_Scott.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Dana_Scott.
- Harold_Pender_Award wikiPageWikiLink Dana_Scott.
- History_of_the_Actor_model wikiPageWikiLink Dana_Scott.
- Implementation_of_mathematics_in_set_theory wikiPageWikiLink Dana_Scott.
- Index_of_philosophy_articles_(D–H) wikiPageWikiLink Dana_Scott.
- Intermediate_logic wikiPageWikiLink Dana_Scott.
- International_Union_of_History_and_Philosophy_of_Science wikiPageWikiLink Dana_Scott.
- Jack_Copeland wikiPageWikiLink Dana_Scott.
- John_Lemmon wikiPageWikiLink Dana_Scott.
- Kenneth_Kunen wikiPageWikiLink Dana_Scott.
- Ketan_Mulmuley wikiPageWikiLink Dana_Scott.
- Lambda_calculus wikiPageWikiLink Dana_Scott.
- Large_cardinal wikiPageWikiLink Dana_Scott.
- Laws_of_Form wikiPageWikiLink Dana_Scott.
- Leroy_P._Steele_Prize wikiPageWikiLink Dana_Scott.
- Let_expression wikiPageWikiLink Dana_Scott.
- List_of_Carnegie_Mellon_University_people wikiPageWikiLink Dana_Scott.
- List_of_Guggenheim_Fellowships_awarded_in_1978 wikiPageWikiLink Dana_Scott.
- List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers wikiPageWikiLink Dana_Scott.
- List_of_Miller_Research_Fellows wikiPageWikiLink Dana_Scott.
- List_of_Stanford_University_people wikiPageWikiLink Dana_Scott.
- List_of_Turing_Award_laureates_by_university_affiliation wikiPageWikiLink Dana_Scott.
- List_of_University_of_California,_Berkeley_alumni wikiPageWikiLink Dana_Scott.
- List_of_University_of_California,_Berkeley_faculty wikiPageWikiLink Dana_Scott.
- List_of_alumni_of_Merton_College,_Oxford wikiPageWikiLink Dana_Scott.
- List_of_computer_scientists wikiPageWikiLink Dana_Scott.
- List_of_important_publications_in_theoretical_computer_science wikiPageWikiLink Dana_Scott.
- List_of_logicians wikiPageWikiLink Dana_Scott.
- List_of_mathematicians_(S) wikiPageWikiLink Dana_Scott.
- List_of_members_of_the_National_Academy_of_Sciences_(computer_and_information_sciences) wikiPageWikiLink Dana_Scott.
- List_of_people_by_Erdős_number wikiPageWikiLink Dana_Scott.
- List_of_set_theory_topics wikiPageWikiLink Dana_Scott.
- Logic_of_Computable_Functions wikiPageWikiLink Dana_Scott.
- Logical_Methods_in_Computer_Science wikiPageWikiLink Dana_Scott.
- Logics_for_computability wikiPageWikiLink Dana_Scott.
- Marko_Petkovšek wikiPageWikiLink Dana_Scott.
- Measurable_cardinal wikiPageWikiLink Dana_Scott.
- Michael_Fourman wikiPageWikiLink Dana_Scott.
- Michael_O._Rabin wikiPageWikiLink Dana_Scott.
- Modal_logic wikiPageWikiLink Dana_Scott.
- Modal_μ-calculus wikiPageWikiLink Dana_Scott.
- Model_theory wikiPageWikiLink Dana_Scott.
- Mogensen–Scott_encoding wikiPageWikiLink Dana_Scott.
- Neighborhood_semantics wikiPageWikiLink Dana_Scott.
- Non-well-founded_set_theory wikiPageWikiLink Dana_Scott.
- Non-wellfounded_mereology wikiPageWikiLink Dana_Scott.
- Nondeterministic_finite_automaton wikiPageWikiLink Dana_Scott.
- Operational_semantics wikiPageWikiLink Dana_Scott.
- Pentomino wikiPageWikiLink Dana_Scott.
- Per_Martin-Löf wikiPageWikiLink Dana_Scott.
- Peter_Mosses wikiPageWikiLink Dana_Scott.
- Powerset_construction wikiPageWikiLink Dana_Scott.
- Predicate_functor_logic wikiPageWikiLink Dana_Scott.
- Programming_Computable_Functions wikiPageWikiLink Dana_Scott.
- Programming_language_theory wikiPageWikiLink Dana_Scott.
- Pumping_lemma_for_regular_languages wikiPageWikiLink Dana_Scott.
- Ramified_forcing wikiPageWikiLink Dana_Scott.