| Institute of Informatics>>> Acta Cybernetica>>> Past Issues>>> |
 Magyarul
|
BACK TO INDEX
Publications of T. Gergely in Acta Cybernetica.
-
T. Gergely. Algebraic representation of language hierarchies. Acta Cybernetica, 5(3):307-323, 1981. [ PDF ]
-
T. Gergely and L. Űry. Nondeterministic programming within the frame of fist order classical logic, Part 1. Acta Cybernetica, 4(4):333-354, 1980. [ PDF ]
-
T. Gergely and L. Űry. Nondeterministic programming within the frame of fist order classical logic, Part 2. Acta Cybernetica, 4(4):355-375, 1980. [ PDF ]
-
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