( en | de | ru )

 

Disambiguation of "Gergely, Tamás"

Author of the publication

copydeleteadd this publication to your clipboard
On the incompleteness of proving partial correctness.

, and . Acta Cybern., 4 (1): 45-57 (1978)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christine Tamásy

Ónodi Tamás

Nándor Tamáskovics

Erika Tamási

Markus Tamás

 

Other publications of authors with the same name

Quasi-Equations for Logic Programming., and . SCAI, volume 4 of Frontiers in Artificial Intelligence and Applications, page 889-899. IOS Press, (1989)Inductive Inference on the Base of Fixed Point Theory., and . IJCAI, page 932-938. Morgan Kaufmann, (1987)Mathematical Foundation of Cognitive Computing Based Artificial Intelligence., and . RAAI Summer School, volume 11866 of Lecture Notes in Computer Science, page 29-64. Springer, (2019)Logical foundations for a general theory of systems., and . Acta Cybern., 2 (3): 261-276 (1975)Systematically Generated Formulas for Spectrum-Based Fault Localization., , and . ICSTW, page 344-352. IEEE, (2023)A Case Against Coverage-Based Program Spectra., , , , and . ICST, page 13-24. IEEE, (2023)Empirical investigation of SEA-based dependence cluster properties., , , , , and . SCAM, page 1-10. IEEE Computer Society, (2013)Computation of Static Execute After Relation with Applications to Software Maintenance., , , , , and . ICSM, page 295-304. IEEE Computer Society, (2007)Fixed Point Equations as Hypotheses in Inductive Reasoning., and . AII, volume 265 of Lecture Notes in Computer Science, page 42-54. Springer, (1986)Model theoretical investigation of theorem proving methods., and . Notre Dame J. Formal Log., 19 (4): 523-542 (1978)