Back to Results
First PageMeta Content
Computability theory / Logic in computer science / Proof theory / Computational complexity theory / Propositional proof system / Decision problem / ACC0 / First-order logic / Reverse mathematics / Theoretical computer science / Mathematical logic / Mathematics


Document Date: 2008-01-04 17:28:09

Open Document

File Size: 837,97 KB

Share Result on Facebook

Company

Cobham / TNC / /

Event

Person Communication and Meetings / /

Facility

Computer Science University of Toronto Copyright / Computer Science University of Toronto / /

IndustryTerm

propositional proof systems / proof systems / satisfactory systems / /

MusicGroup

D12 / /

Organization

Computer Science University of Toronto Copyright / Philosophy Graduate Department / University of Toronto / /

Person

Toni Pitassi / Phuong Nguyen / Steve Cook / Charlie Rackoff / Klaus Aehlig / Sam Buss / Ho Minh Toan / Steven Perron / /

Position

VP / VP Circuit Value Problem Section / /

SocialTag