( en | de | ru )

 

Disambiguierung von "Smith, Scott F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Implementing mathematics with the Nuprl proof development system.

, , , , , , , , , , , und . Prentice Hall, (1986)

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

James Wesley Scott

Felix Markus Hubertus Scotti

 

Weitere Publikationen von Autoren mit dem selben Namen

Refactoring programs to secure information flows., und . PLAS, Seite 75-84. ACM, (2006)A Systematic Approach to Static Access Control., , und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 30-45. Springer, (2001)Correct Compilation of Specifications to Deterministic Asynchronous Circuits., und . CHARME, Volume 683 von Lecture Notes in Computer Science, Seite 179-190. Springer, (1993)Improved Covariance Model Parameter Estimation Using RNA Thermodynamic Properties., und . BIONETICS, Seite 185-191. ICST / IEEE, (2007)Higher-order demand-driven symbolic evaluation., , , und . Proc. ACM Program. Lang., 4 (ICFP): 102:1-102:28 (2020)A Scalable Coprocessor for Bioinformatic Sequence Alignments.. ESA/VLSI, Seite 303-308. CSREA Press, (2004)Covariance Searches for ncRNA Gene Finding.. CIBCB, Seite 1-7. IEEE, (2006)Partial Objects In Constructive Type Theory, und . LICS, Seite 183-193. IEEE Computer Society, (1987)An Interpretation of Typed OOP in a Language with State., , , und . LISP Symb. Comput., 8 (4): 357-397 (1995)A Theory of Classes for a Functional Language with Effects., , , und . CSL, Volume 702 von Lecture Notes in Computer Science, Seite 309-326. Springer, (1992)