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 2024. június 20. 07:49:52 CEST.