prof. RNDr. Jiří Zlatuška, CSc.
profesor – Katedra teorie programování
kancelář: C326
Botanická 554/68a
602 00 Brno
telefon: | 549 49 8073 |
---|
Počet publikací: 80
1988
-
Kancelářský datový systém SIRAEL
Mechanizace a automatizace administrativy, rok: 1988, ročník: 1
1986
-
Data Bases and the Lambda Calculus
Proc. 10th IFIP World Computer Congres, rok: 1986
-
Datový model HIT po pěti letech
Proc. SOFSEM 86, rok: 1986
-
Logická analýza přirozeného jazyka
Rok: 1986, vydání: Vyd. první, počet stran: 145 s.
-
SIRAEL - disketový systém pro práci s daty
Informačné systémy, rok: 1986, ročník: 2
1985
-
HIT Data Model. Data Bases from the Functional Point of View
Proceedings of 11th International Conference on Very Large Data Bases, rok: 1985
-
Keeping integrity in the HIT data base model.
Scripta Facultatis Scientiarum Naturalium Universitatis Purkynianae Brunensis - Mathematica, rok: 1985, ročník: 15, vydání: 4
-
Lambda kalkul
Proc. SOFSEM 85, rok: 1985
-
Normal forms in the typed lambda-calculus with tuple types.
Kybernetika, rok: 1985, ročník: 21, vydání: 5
-
Transforming External Queries into Ralational Operations with Data Using HIT Data Model
Proc. 8th Int. Sem. on DBMS, rok: 1985