An applicative theory for PH.

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Steffen van Bakel, Stefano Berardi, and Ulrich Berger (editors): Classical Logic and Computation 2010. Federated MFCS CSL Conference, Brno, 2010.
Original languageUnknown
Title of host publicationFederated MFCS CSL Conference
Pages51-67
Publication statusPublished - 1 Jan 2010
EventClassical Logic and Computation -
Duration: 1 Jan 2010 → …

Conference

ConferenceClassical Logic and Computation
Period1/01/10 → …

Cite this