Balázs Biró

Available identifiers

zbMath Open biro.balazsMaRDI QIDQ687277

List of research outcomes

Publication	Date of Publication	Type
Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics	1993-11-28	Paper
Non-finite-axiomatizability results in algebraic logic	1993-04-01	Paper
On generalizations of a theorem of Vaught	1990-01-01	Paper
Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension	1989-01-01	Paper
Isomorphic but not lower base-isomorphic cylindric set algebras	1988-01-01	Paper
Isomorphic but not base-isomorphic base-minimal cylindric set algebras	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3784067	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3686711	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3941466	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939223	1981-01-01	Paper
On the congruence extension property	1977-01-01	Paper

Research outcomes over time

This page was built for person: Balázs Biró