Back to Results
First PageMeta Content
Proof assistant / Nqthm / Five lemma / Order theory / Lemmas / Mathematics / Automated theorem proving


Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX
Add to Reading List

Document Date: 2011-07-27 09:29:54

Open Document

File Size: 160,45 KB

Share Result on Facebook

Company

Lemma 1 Ltd. / C REFERENCES 13 Lemma 1 Ltd. / /

/

IndustryTerm

macro-processing front-end / functions computing values / tactic applications / /

Person

David Basin / Matt Kaufmann / Roger Bishop Jones Rob Arthan / /

/

Position

first author / second author / editor / /

Product

Ramsey / /

ProgrammingLanguage

ML / Standard ML / /

Technology

functional programming / windowing system / /

SocialTag