( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Characterization of Floyd-Provable Programs.

, , и . MFCS, том 118 из Lecture Notes in Computer Science, стр. 162-171. Springer, (1981)

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.

Ivo Hajnal

Hajnal Türk

David Hajnal

Hajnal Borús

Koloman Hajnal-Kónyi

 

Другие публикации лиц с тем же именем

A unifying theorem for algebraic semantics and dynamic logics., , и . FCT, том 199 из Lecture Notes in Computer Science, стр. 8-17. Springer, (1985)A Characterization of Floyd-Provable Programs., , и . MFCS, том 118 из Lecture Notes in Computer Science, стр. 162-171. Springer, (1981)Algebraic Logic Conference., , , и . J. Symb. Log., 54 (2): 686 (1989)On Tarski's Axiomatic Foundations of the Calculus of Relations., , , и . J. Symb. Log., 82 (3): 966-994 (2017)Sharpening the characterization of the power of Floyd method.. Logic of Programs, том 148 из Lecture Notes in Computer Science, стр. 1-26. Springer, (1980)A Complete Logic for Reasoning about Programs via Nonstandard Model Theory II., , и . Theor. Comput. Sci., (1982)Some Universal Algebraic and Model Theoretic Results in Computer Science., и . FCT, том 117 из Lecture Notes in Computer Science, стр. 16-23. Springer, (1981)Completeness Problems in Verification of Programs and Program Schemes., , и . MFCS, том 74 из Lecture Notes in Computer Science, стр. 208-218. Springer, (1979)Definition Theory as Basis for a Creative Problem Solver., , и . IJCAI, стр. 40-45. (1975)Nonrepresentable Relation Algebras from Groups - addendum., , и . Rev. Symb. Log., 12 (4): 892 (2019)