Remarks on Comparing Expressive Power of Logics of Programs.

Jerzy Tiuryn, Pawel Urzyczyn

Browse the full MFCS paper archive.