dblp.uni-trier.dewww.uni-trier.de

Balázs Biró

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993
5 Balázs Biró, Ildikó Sain: Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics. Ann. Pure Appl. Logic 63(3): 201-225 (1993)
1992
4 Balázs Biró: Non-Finite-Axiomatizability Results in Algebraic Logic. J. Symb. Log. 57(3): 832-843 (1992)
1990
3 Balázs Biró: On Generalizations of a Theorem of Vaught. Notre Dame Journal of Formal Logic 31(2): 330-336 (1990)
1989
2 Balázs Biró: Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension. Notre Dame Journal of Formal Logic 30(2): 262-267 (1989)
1988
1 Balázs Biró, Saharon Shelah: Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. J. Symb. Log. 53(3): 846-853 (1988)

Coauthor Index

1Ildikó Sain [5]
2Saharon Shelah [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)