Nondeterministic programming within the frame of first order classical logic : part 1

Tamás Gergely; László Úry

Skip to main content Skip to main navigation menu Skip to site footer

Nondeterministic programming within the frame of first order classical logic : part 1

Tamás Gergely
László Úry

Downloads

Download data is not yet available.

PDF

Published

1980-01-01

How to Cite

Gergely, T., & Úry, L. (1980). Nondeterministic programming within the frame of first order classical logic : part 1. Acta Cybernetica, 4(4), 333-354. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3196

Download Citation

Issue

Vol 4 No 4 (1980)

Section

Regular articles

Most read articles by the same author(s)

Tamás Gergely, István Németi, Logical foundations for a general theory of systems , Acta Cybernetica: Vol 2 No 3 (1975)
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 2 , Acta Cybernetica: Vol 4 No 4 (1980)
Tamás Gergely, Algebraic representation of language hierarchies , Acta Cybernetica: Vol 5 No 3 (1981)
Csaba Faragó, Tamás Gergely, Handling pointers and unstructured statements in the forward computed dynamic slice algorithm , Acta Cybernetica: Vol 15 No 4 (2002)
Ferenc Horváth, Tamás Gergely, Structural information aided automated test method for magic 4GL , Acta Cybernetica: Vol 22 No 1 (2015)
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)