( en | de | ru )

 

Disambiguation of "Pottinger, Garrel"

Author of the publication

copydeleteadd this publication to your clipboard
Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military.

, and . IEEE Ann. Hist. Comput., 19 (3): 41-59 (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ida Pöttinger

Peter Pöttinger

Andreas Garrel

Anke Garrel

Peter Pottinger

 

Other publications of authors with the same name

Intension, designation, and extension.. Notre Dame J. Formal Log., 26 (4): 309-340 (1985)Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military., and . IEEE Ann. Hist. Comput., 19 (3): 41-59 (1997)A new classical relevance logic.. J. Philosophical Logic, 8 (1): 135-147 (1979)Proofs of the normalization and Church-Rosser theorems for the typed λ-calculus.. Notre Dame J. Formal Log., 19 (3): 445-451 (1978)A Classical Type Theory with Transfinite Types.. TPHOLs, volume A-20 of IFIP Transactions, page 81-94. North-Holland/Elsevier, (1992)The Romulus Proof Checker., , , , and . CADE, volume 449 of Lecture Notes in Computer Science, page 651-652. Springer, (1990)The Church-Rosser theorem for the typed λ-calculus with surjective pairing.. Notre Dame J. Formal Log., 22 (3): 264-268 (1981)