-
A finite axiomatization for fork algebras Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 4 / s. 193 - 2001995CZYSTY TEKST
Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso, A finite axiomatization for fork algebras, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 4, s. 193 - 200
BIBTEX@Article{ authors = " Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso", title = "A finite axiomatization for fork algebras", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 4", pages = "193 - 200" }
-
Fork algebras are representable Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 64 - 751995CZYSTY TEKST
Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer, Paulo A.S. Veloso, Fork algebras are representable, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 64 - 75
BIBTEX@Article{ authors = " Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer, Paulo A.S. Veloso", title = "Fork algebras are representable", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "64 - 75" }
-
A finitary relational algebra for classical first-order logic Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 2 / s. 52 - 621991CZYSTY TEKST
Paulo A.S. Veloso, Armando M. Haeberer, A finitary relational algebra for classical first-order logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 2, s. 52 - 62
BIBTEX@Article{ authors = " Paulo A.S. Veloso, Armando M. Haeberer", title = "A finitary relational algebra for classical first-order logic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 2", pages = "52 - 62" }
