Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract)

Jerzy Tiuryn, Pawel Urzyczyn

Browse the full FOCS paper archive.