Items where Author is "Gergely, Tamás"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 9.

Article

Gergely, Tamás and Balogh, Gergő and Horváth, Ferenc and Vancsics, Béla and Beszédes, Árpád and Gyimóthy, Tibor: Analysis of static and dynamic test-to-code traceability information. Acta cybernetica, (23) 3. pp. 903-920. (2018)

Horváth, Ferenc and Gergely, Tamás: Structural information aided automated test method for magic 4GL. Acta cybernetica, (22) 1. pp. 81-99. (2015)

Szőts, Miklós and Csirik, János and Gergely, Tamás and Karvalics, László, Z.: MASZEKER : projekt szemantikus keresőtechnológia kidolgozására. Magyar Számítógépes Nyelvészeti Konferencia, (5). pp. 159-167. (2010)

Faragó, Csaba and Gergely, Tamás: Handling pointers and unstructured statements in the forward computed dynamic slice algorithm. Acta cybernetica, (15) 4. pp. 489-508. (2002)

Gergely, Tamás: Algebraic representation of language hierarchies. Acta cybernetica, (5) 3. pp. 307-323. (1981)

Gergely, Tamás and Úry, László: Nondeterministic programming within the frame of first order classical logic : part 1. Acta cybernetica, (4) 4. pp. 333-354. (1980)

Gergely, Tamás and Úry, László: Nondeterministic programming within the frame of first order classical logic : part 2. Acta cybernetica, (4) 4. pp. 355-375. (1980)

Gergely, Tamás and Szőts, Miklós: On the incompleteness of proving partial correctness. Acta cybernetica, (4) 1. pp. 45-57. (1978)

Gergely, Tamás and Németi, István: Logical foundations for a general theory of systems. Acta cybernetica, (2) 3. pp. 261-276. (1975)

This list was generated on 2019. szeptember 17. 13:34:04 CEST.