Back to Results
First PageMeta Content
Mathematical proof / Recursion / Mathematical induction / Algorithm / Theorem / Structural induction / Natural deduction / Automated theorem proving / Recursive definition / Mathematics / Logic / Mathematical logic


Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle
Add to Reading List

Document Date: 2014-08-27 06:04:04

Open Document

File Size: 1,02 MB

Share Result on Facebook

City

Tokyo / Munich / /

Company

Needham / /

Holiday

Assumption / /

IndustryTerm

web site1 / security protocol / theory presentation tools / /

Person

John Matthews / Lawrence C. Paulson / Stefan Berghofer / David von Oheimb / Norbert Schirmer / Wolfgang Naraschewski / Gergely Buday / Isabelle / Forward Proof / Cornelia Pusch / Forward Reasoning / Tobias Nipkow Markus Wenzel Lawrence / David Aspinall / Tanja Vos / Stefano Bistarelli / Leonor Prensa Nieto / Martin Strecker / Stephan Merz / /

Position

General / Assistant / /

Technology

Functional Programming / Public-Key Protocol / security protocol / /

URL

http /

SocialTag