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

Balázs Biró Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1993
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalá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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalázs Biró: Non-Finite-Axiomatizability Results in Algebraic Logic. J. Symb. Log. 57(3): 832-843 (1992)
1990
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalázs Biró: On Generalizations of a Theorem of Vaught. Notre Dame Journal of Formal Logic 31(2): 330-336 (1990)
1989
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalá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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalá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

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page