Travelled to:
1 × Germany
1 × USA
Collaborated with:
A.Pasztor J.A.Makowsky
Talks about:
nonstandard (1) streamlin (1) various (1) theorem (1) program (1) equival (1) complet (1) tempor (1) system (1) semant (1)
Person: Ildikó Sain
DBLP: Sain:Ildik=oacute=
Contributed to:
Wrote 2 papers:
- CSL-1989-PasztorS #theorem
- A Streamlined Temporal Completeness Theorem (AP, IS), pp. 322–336.
- LICS-1986-MakowskyS #equivalence #higher-order #on the #semantics #standard #verification
- On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems (JAM, IS), pp. 293–300.