L. Csirmaz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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)

Coauthor Index

1 J. Beck [4]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page