Balázs Biró

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1993
Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics.
Ann. Pure Appl. Log., 1993

1992
Non-Finite-Axiomatizability Results in Algebraic Logic.
J. Symb. Log., 1992

1990
On Generalizations of a Theorem of Vaught.
Notre Dame J. Formal Log., 1990

1989
Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension.
Notre Dame J. Formal Log., 1989

1988
Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras.
J. Symb. Log., 1988


  Loading...