Back to Results
First PageMeta Content
Symbol / Natural deduction


Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A list-machine benchmark for mechanized metatheory Andrew W. Appel · Robert Dockins · Xavier Leroy
Add to Reading List

Document Date: 2011-04-11 03:13:40


Open Document

File Size: 446,87 KB

Share Result on Facebook

/

Facility

R. Dockins Princeton University / /

IndustryTerm

theorem proving technology / software developers / theorem-proving systems / verified software / mechanized metatheory systems / /

Organization

Princeton University / /

Person

Andrew W. Appel / Xavier Leroy / Robert Dockins / /

Position

author / editor / assistant / head / /

ProgrammingLanguage

LATEX / ML / Prolog / Java / /

Technology

alpha / Virtual Machine / dom / theorem proving technology / Java / /

SocialTag