On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems

Johann A. Makowsky, Ildik Sain

Browse the full LICS paper archive.