Johann A. Makowsky, Ildikó Sain
On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems
LICS, 1986.
@inproceedings{LICS-1986-MakowskyS,
author = "Johann A. Makowsky and Ildikó Sain",
booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}",
isbn = "0-8186-0720-3",
pages = "293--300",
publisher = "{IEEE Computer Society}",
title = "{On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems}",
year = 1986,
}