Szabolcs Mikulas
4 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Gabbay-style calculi Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 2 / s. 50 - 60ROK: 1993CZYSTY TEKSTBIBTEX
-
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 - 66ROK: 1992CZYSTY TEKSTBIBTEX
-
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 - 66ROK: 1992CZYSTY TEKSTBIBTEX
-
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 - 111ROK: 1992CZYSTY TEKSTBIBTEX
