Balázs Biró

According to our database, Balázs Biró authored at least 5 papers between 1988 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

1993

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

Balázs Biró, Ildikó Sain

Ann. Pure Appl. Log., 1993

1992

Non-Finite-Axiomatizability Results in Algebraic Logic.

Balázs Biró

J. Symb. Log., 1992

1990

On Generalizations of a Theorem of Vaught.

Balázs Biró

Notre Dame J. Formal Log., 1990

1989

Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension.

Balázs Biró

Notre Dame J. Formal Log., 1989

1988

Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras.

Balázs Biró, Saharon Shelah

J. Symb. Log., 1988