"On the Equivalence of Weak Second Order and Nonstandard Time Semantics For ..."

Johann A. Makowsky, Ildikó Sain (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics