Complexity Bounds of Hoare-style Proof Systems

Hardi Hungar

Browse the full LICS paper archive.