Szabolcs Mikulas
4 artykuły w 1 czasopismach
-
Gabbay-style calculi Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 2 / s. 50 - 601993CZYSTY TEKST
Szabolcs Mikulas, Gabbay-style calculi, Bulletin of the Section of Logic, 1993 / Tom 22 / Numer 2, s. 50 - 60
BIBTEX@Article{ authors = " Szabolcs Mikulas", title = "Gabbay-style calculi", journal = "Bulletin of the Section of Logic", issue = "1993 / Tom 22 / Numer 2", pages = "50 - 60" }
-
The completeness of the Lambek calculus with respect to relational semantics Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 2 / s. 55 - 661992CZYSTY TEKST
Szabolcs Mikulas, The completeness of the Lambek calculus with respect to relational semantics, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 2, s. 55 - 66
BIBTEX@Article{ authors = " Szabolcs Mikulas", title = "The completeness of the Lambek calculus with respect to relational semantics", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 2", pages = "55 - 66" }
-
The completeness of the Lambek calculus with respect to relational semantics Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 2 / s. 55 - 661992CZYSTY TEKST
Szabolcs Mikulas, The completeness of the Lambek calculus with respect to relational semantics, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 2, s. 55 - 66
BIBTEX@Article{ authors = " Szabolcs Mikulas", title = "The completeness of the Lambek calculus with respect to relational semantics", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 2", pages = "55 - 66" }
-
Complexity of equational theory of relational algebras with projection elements Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 3 / s. 103 - 1111992CZYSTY TEKST
Szabolcs Mikulas, Ildiko Sain, Andras Simon, Complexity of equational theory of relational algebras with projection elements, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 3, s. 103 - 111
BIBTEX@Article{ authors = " Szabolcs Mikulas, Ildiko Sain, Andras Simon", title = "Complexity of equational theory of relational algebras with projection elements", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 3", pages = "103 - 111" }
