| |
| 1983 | ||
|---|---|---|
| 5 | L. Csirmaz: On the Strength of ``Sometimes'' and ``Always'' in Program Verification Information and Control 57(2/3): 165-179 (1983) | |
| 1982 | ||
| 4 | J. Beck, L. Csirmaz: Variations on a Game. J. Comb. Theory, Ser. A 33(3): 297-315 (1982) | |
| 3 | L. Csirmaz: Determinateness of Program Equivalence over Peano Axioms. Theor. Comput. Sci. 21: 231-235 (1982) | |
| 1981 | ||
| 2 | L. Csirmaz: Programs and Program Verifications in a General Setting. Theor. Comput. Sci. 16: 199-210 (1981) | |
| 1980 | ||
| 1 | L. Csirmaz: Structure of program runs of non-standard time. Acta Cybern. 4: 325-331 (1980) | |
| 1 | J. Beck | [4] |