I. Sain

发表

Complexity of equational theory of relational algebras with projection elements

András Simon, Szabolcs Mikulás, Ildikó Sain, 1992 .

Bridges and Profunctors

M. Laczkovich, I. Sain, Bertalan Pécsi, 2013 .

Weak Second Order Characterizations of Various Program Verification Systems

Johann A. Makowsky, Ildikó Sain, J. Makowsky, 1989, Theor. Comput. Sci..

Investigations in arrow logic

maarten marx, I. Németi, S. Mikulás, 1997 .

Undecidable Varieties of Semilattice - ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus

András Simon, Ildikó Sain, Ágnes Kurucz, 1993, Log. J. IGPL.

TOTAL CORRECTNESS IN NONSTANDARD DYNAMIC LOGIC

I. Sain, 2008 .

The Reasoning Powers of Burstall's (Modal Logic) and Pnueli's (Temporal Logic) Program Verification Methods

Ildikó Sain, I. Sain, 1985, Logic of Programs.

On the Strength of Temporal Proofs

Ildikó Sain, Hajnal Andréka, István Németi, 1989, Theor. Comput. Sci..

Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics

Ildikó Sain, Balázs Biró, I. Sain, 1993, Ann. Pure Appl. Log..

Complexity of equational theory of relational algebras with standard projection elements

András Simon, Szabolcs Mikulás, Ildikó Sain, 2015, Synthese.

On the Search for a Finitizable Algebraization of First Order Logic

Ildikó Sain, I. Sain, 2000, Log. J. IGPL.

Finite Schematizable Algebraic Logic

Ildikó Sain, Viktor Gyuris, Viktor Gyuris, 1997, Log. J. IGPL.

Decidable and undecidable logics with a binary modality

András Simon, Ildikó Sain, Ágnes Kurucz, 1995, J. Log. Lang. Inf..

APPLYING ALGEBRAIC LOGIC; A GENERAL METHODOLOGY

Ildikó Sain, Ágnes Kurucz, Hajnal Andréka, 1994 .

A Streamlined Temporal Completeness Theorem

Ana Pasztor, Ildikó Sain, I. Sain, 1989, CSL.

Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

Ildikó Sain, I. Sain, 1988, Stud Logica.

In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?

I. Sain, Bui Huy Hien, 1983 .

A Complete Logic for Reasoning about Programs via Nonstandard Model Theory I

Ildikó Sain, Hajnal Andréka, István Németi, 1982, Theor. Comput. Sci..

The Life and Work of Leon Henkin: Essays on His Contributions

Enrique Alonso, Mara Manzano, Ildik Sain, 2014 .

Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic

Ildikó Sain, I. Sain, 1988, Algebraic Logic and Universal Algebra in Computer Science.

AMALGAMATION, EPIMORPHISMS AND DEFINABILITY PROPERTIES IN ALGEBRAIC LOGIC

I. Sain, 2008 .

Weak products of universal algebras

I. Sain, 1993 .