Items where Author is " Csirmaz László"

Group by: Item Type | No Grouping

Jump to: Article

Number of items: 3.

Article

Csirmaz László: On the completeness of proving partial correctness. In: Acta cybernetica, (5) 2. pp. 181-190. (1981)

Csirmaz László: Iterated grammars. In: Acta cybernetica, (5) 1. pp. 43-47. (1980)

Csirmaz László: Structure of program runs of non-standard time. In: Acta cybernetica, (4) 4. pp. 325-331. (1980)

This list was generated on 2025. július 9. 17:39:49 CEST.

Technical information: contenta AT ek.szte.hu
Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.