L. Csirmaz Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1983
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
L. Csirmaz: On the Strength of ``Sometimes'' and ``Always'' in Program Verification. Information and Control 57(2/3): 165-179 (1983)
1982
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Beck, L. Csirmaz: Variations on a Game. J. Comb. Theory, Ser. A 33(3): 297-315 (1982)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
L. Csirmaz: Determinateness of Program Equivalence over Peano Axioms. Theor. Comput. Sci. 21: 231-235 (1982)
1981
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
L. Csirmaz: Programs and Program Verifications in a General Setting. Theor. Comput. Sci. 16: 199-210 (1981)
1980
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
L. Csirmaz: Structure of program runs of non-standard time. Acta Cybern. 4: 325-331 (1980)

Coauthor Index

1J. Beck
[j4]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 13:22:49 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page