( en | de | ru )

 

Disambiguierung von "Paulson, Lawrence C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Formal Proof of Cauchy's Residue Theorem.

, und . ITP, Volume 9807 von Lecture Notes in Computer Science, Seite 235-251. Springer, (2016)

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

Verifying Second-Level Security Protocols., , und . TPHOLs, Volume 2758 von Lecture Notes in Computer Science, Seite 352-366. Springer, (2003)Deriving Structural Induction in LCF.. Semantics of Data Types, Volume 173 von Lecture Notes in Computer Science, Seite 197-214. Springer, (1984)The verification of an industrial payment protocol: the SET purchase phase., , und . ACM Conference on Computer and Communications Security, Seite 12-20. ACM, (2002)Counting polynomial roots in isabelle/hol: a formal proof of the budan-fourier theorem., und . CPP, Seite 52-64. ACM, (2019)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)Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract)., , , , und . AAAI, Seite 13919-13920. AAAI Press, (2020)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)Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis.. CICM, Volume 13467 von Lecture Notes in Computer Science, Seite 92-106. Springer, (2022)Proving Security Protocols Correct.. LICS, Seite 370-381. IEEE Computer Society, (1999)