Logical foundations for a general theory of systems

Most read articles by the same author(s)

• Hajnal Andréka, István Németi, The generalised completeness of Horn predicate-logic as a programming language , Acta Cybernetica: Vol. 4 No. 1 (1978)
• Tamás Gergely, Gergő Balogh, Ferenc Horváth, Béla Vancsics, Árpád Beszédes, Tibor Gyimóthy, Analysis of Static and Dynamic Test-to-code Traceability Information , Acta Cybernetica: Vol. 23 No. 3 (2018)
• Ferenc Horváth, Tamás Gergely, Structural information aided automated test method for magic 4GL , Acta Cybernetica: Vol. 22 No. 1 (2015)
• Csaba Faragó, Tamás Gergely, Handling pointers and unstructured statements in the forward computed dynamic slice algorithm , Acta Cybernetica: Vol. 15 No. 4 (2002)
• Tamás Gergely, Miklós Szőts, On the incompleteness of proving partial correctness , Acta Cybernetica: Vol. 4 No. 1 (1978)
• Tamás Gergely, László Úry, Nondeterministic programming within the frame of first order classical logic : part 1 , Acta Cybernetica: Vol. 4 No. 4 (1980)
• Tamás Gergely, László Úry, Nondeterministic programming within the frame of first order classical logic : part 2 , Acta Cybernetica: Vol. 4 No. 4 (1980)
• Hajnal Andréka, S. Horváth, István Németi, Notes on maximal congruence relations, automata and related topics , Acta Cybernetica: Vol. 2 No. 1 (1973)
• Tamás Gergely, Algebraic representation of language hierarchies , Acta Cybernetica: Vol. 5 No. 3 (1981)