( en | de | ru )

 

Disambiguierung von "Scott, Dana S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Domains for Denotational Semantics.

. ICALP, Volume 140 von Lecture Notes in Computer Science, Seite 577-613. Springer, (1982)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Felix Markus Hubertus Scotti

James Wesley Scott

 

Weitere Publikationen von Autoren mit dem selben Namen

Can Modalities Save Naive Set Theory?, , , und . Rev. Symb. Log., 11 (1): 21-47 (2018)Effective versions of equilogical spaces.. Workshop on Domains, Volume 35 von Electronic Notes in Theoretical Computer Science, Seite 204. Elsevier, (1998)Extensional PERs, , , und . LICS, Seite 346-354. IEEE Computer Society, (1990)Logic and Programming Languages.. Commun. ACM, 20 (9): 634-641 (1977)Will Logicians be Replaced by Machines?. TACS, Volume 526 von Lecture Notes in Computer Science, Seite 771. Springer, (1991)What Can We Hope to Achieve From Automated Deduction? (Abstract).. CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 245. Springer, (1996)Semilattices, Domains, and Computability (Invited Talk).. CCA, Volume 11 von OASIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)Some philosophical issues concerning theories of combinators.. Lambda-Calculus and Computer Science Theory, Volume 37 von Lecture Notes in Computer Science, Seite 346-366. Springer, (1975)The lattice of flow diagrams.. Symposium on Semantics of Algorithmic Languages, Volume 188 von Lecture Notes in Mathematics, Springer, (1971)Extensional PERs, , , und . Inf. Comput., 98 (2): 211-227 (Juni 1992)