( en | de | ru )

 

Disambiguierung von "Paulson, Lawrence C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of Cardholder Registration in SET.

, , , und . ESORICS, Volume 1895 von Lecture Notes in Computer Science, Seite 159-174. Springer, (2000)

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

Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers.. PAAR@IJCAR, Volume 9 von EPiC Series in Computing, Seite 1-10. EasyChair, (2010)Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract)., , , , und . AAAI, Seite 13919-13920. AAAI Press, (2020)ML for the working programmer.. Cambridge University Press, (1991)Counting polynomial roots in isabelle/hol: a formal proof of the budan-fourier theorem., und . CPP, Seite 52-64. ACM, (2019)A Concrete Final Coalgebra Theorem for ZF Set Theory.. TYPES, Volume 996 von Lecture Notes in Computer Science, Seite 120-139. Springer, (1994)Making Sense of Specifications: The Formalization of SET (Transcript of Discussion).. Security Protocols Workshop, Volume 2133 von Lecture Notes in Computer Science, Seite 82-86. Springer, (2000)Reasoning About Coding Theory: The Benefits We Get from Computer Algebra., und . AISC, Volume 1476 von Lecture Notes in Computer Science, Seite 55-66. Springer, (1998)Verifying Second-Level Security Protocols., , und . TPHOLs, Volume 2758 von Lecture Notes in Computer Science, Seite 352-366. Springer, (2003)A formulation of the simple theory of types (for Isabelle).. Conference on Computer Logic, Volume 417 von Lecture Notes in Computer Science, Seite 246-274. Springer, (1988)Deriving Structural Induction in LCF.. Semantics of Data Types, Volume 173 von Lecture Notes in Computer Science, Seite 197-214. Springer, (1984)