Armando M. Haeberer
3 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A finitary relational algebra for classical first-order logic Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 2 / s. 52 - 62ROK: 1991CZYSTY TEKSTBIBTEX
-
Fork algebras are representable Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 64 - 75ROK: 1995CZYSTY TEKSTBIBTEX
-
A finite axiomatization for fork algebras Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 4 / s. 193 - 200ROK: 1995CZYSTY TEKSTBIBTEX
