( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Algebraic Logic Conference.

, , , и . J. Symb. Log., 54 (2): 686 (1989)

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.

István Erlich

István Lukács

István Szilágyi

István Lukács

István Futaky

 

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

Nonstandard Dynamic Logic.. Logic of Programs, том 131 из Lecture Notes in Computer Science, стр. 311-348. Springer, (1981)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)Weakly higher order cylindric algebras and finite axiomatization of the representables., и . Stud Logica, 91 (1): 53-62 (2009)Algebraic Logic Conference., , , и . J. Symb. Log., 54 (2): 686 (1989)Applying Algebraic Logic to Logic., , и . AMAST, стр. 5-26. Springer, (1993)Omitting types for finite variable fragments and complete representations of algebras., , и . J. Symb. Log., 73 (1): 65-89 (2008)Residuated Kleene Algebras., , и . Logic and Program Semantics, том 7230 из Lecture Notes in Computer Science, стр. 1-11. Springer, (2012)Relatively free relation algebras., , и . Algebraic Logic and Universal Algebra in Computer Science, том 425 из Lecture Notes in Computer Science, стр. 1-14. Springer, (1988)Using Isabelle/HOL to Verify First-Order Relativity Theory., и . J. Autom. Reason., 52 (4): 361-378 (2014)