( en | de | ru )

 

Disambiguierung von "Paulson, Lawrence C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ML for the Working Programmer

. Cambridge University Press, 2 Edition, (Juni 1996)

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.

Christina Paulson

Erika Paulson

Ivar Paulson

Ivar Paulson

Lawrence Oshinowo

 

Weitere Publikationen von Autoren mit dem selben Namen

Mechanizing Coinduction and Corecursion in Higher-order Logic. CoRR, (1997)A Formulation of the Simple Theory of Types (for Isabelle). CoRR, (1993)Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice., und . CoRR, (1996)Verifying the SET registration protocols., , und . IEEE J. Sel. Areas Commun., 21 (1): 77-87 (2003)Mechanical Proofs about a Non-repudiation Protocol., und . TPHOLs, Volume 2152 von Lecture Notes in Computer Science, Seite 91-104. Springer, (2001)Applications of MetiTarski in the Verification of Control and Hybrid Systems., und . HSCC, Volume 5469 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2009)Mechanising BAN Kerberos by the Inductive Method., und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 416-427. Springer, (1998)Logic and computation - interactive proof with Cambridge LCF.. Cambridge tracts in theoretical computer science Cambridge University Press, (1987)Bayesian Optimisation with Gaussian Processes for Premise Selection., , , , und . CoRR, (2019)SET Cardholder Registration: The Secrecy Proofs.. IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 5-12. Springer, (2001)