Back to Results
First PageMeta Content
Proof theory / Automated theorem proving / Logic in computer science / Propositional calculus / Computational complexity theory / Natural deduction / Sequent calculus / Propositional proof system / Proof complexity / Logic / Mathematical logic / Mathematics


Document Date: 2006-08-24 20:08:31

Open Document

File Size: 390,02 KB

Share Result on Facebook

City

Paris / /

Company

Combinatorial / System C0 (Combinatorial Proofs) We / /

Event

Reorganization / /

Facility

Dominic J. D. Hughes Stanford University / /

IndustryTerm

proof systems / deep inference systems / rubber-sheet / homotopy / fundamental / stronger proof systems / /

OperatingSystem

Sequent / /

Organization

Stanford University / /

Person

Dominic J. D. Hughes / Hilbert / /

ProgrammingLanguage

C / /

PublishedMedium

Annals of Mathematics / /

URL

www.elsevier.nl/locate/entcs / /

SocialTag