. . .
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 M. Szőts in Acta Cybernetica.

  1.   T. Gergely and M. Szőts. On the incompleteness of proving partial correctness. Acta Cybernetica, 4(1):45-57, 1978. [ PDF ]


BACK TO INDEX



 This document was translated from BibTEX by bibtex2html

Webmaster:webmaster@inf.u-szeged.hu