. . .
About Us
Education
Research
PhD
Acta Cybernetica
Conferences
Sponsors
Departments:
- Image Processing and Computer Graphics
- Technical Informatics
- Foundations of Computer Science
- Computer Algorithms and Artificial Intelligence
- Computational Optimization
- Software Engineering
- Research Group on Artificial Intelligence
[University of Szeged]
Institute of Informatics>>> Acta Cybernetica>>> Past Issues>>> flag_HUMagyarul


BACK TO INDEX

Publications of L. Csirmaz in Acta Cybernetica.

  1.   L. Csirmaz. On the completeness of proving partial correctness. Acta Cybernetica, 5(2):181-190, 1981. [ PDF ]

  2.   L. Csirmaz. Iterated grammars. Acta Cybernetica, 5(1):33-42, 1980. [ PDF ]

  3.   L. Csirmaz. Structure of program runs of non-standard time. Acta Cybernetica, 4(4):325-331, 1980. [ PDF ]


BACK TO INDEX



 This document was translated from BibTEX by bibtex2html

Webmaster:webmaster@inf.u-szeged.hu