prof. RNDr. Jiří Zlatuška, CSc.

1993

• Committed-choice logic programming in linear logic

  ZLATUŠKA Jiří

  Kapitola v knize

  Computational Logic and Proof Theory (Third Kurt Gödel Colloquium, KGC'93), vydání: Vyd. 1., rok: 1993, počet stran: 348-337+1

• Concurrent logic programming in linear logic

  ZLATUŠKA Jiří

  Článek ve sborníku

  Workshop on Concurrency in Computational Logic, rok: 1993

• Lambda-kalkul

  ZLATUŠKA Jiří

  Odborná kniha

  Rok: 1993, vydání: Vyd. 1., počet stran: 240 s.

• Linear logic semantics for Concurrent Prolog

  ZLATUŠKA Jiří

  Článek ve sborníku

  Fourth International Workshop on Extensions of Logic Programming, rok: 1993

1992

• Object modelling using lambda-calculus for information systems (abstract)

  ZLATUŠKA Jiří

  Článek ve sborníku

  Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229), rok: 1992

1991

• Modelling inheritance in a strongly typed functional model

  ZLATUŠKA Jiří

  Článek ve sborníku

  Next Generation Information System Technology, rok: 1991

• Od logického programování k paralelismu

  ZLATUŠKA Jiří

  Článek v odborném periodiku

  Informačné systémy, rok: 1991

1990

• Od logického programování k paralelismu

  ZLATUŠKA Jiří

  Článek ve sborníku

  Proc. SOFSEM 90, rok: 1990

• Od logiky k logickému programování

  ZLATUŠKA Jiří

  Článek v odborném periodiku

  Informačné systémy, rok: 1990

1989

• Od logiky k logickému programování

  ZLATUŠKA Jiří

  Článek ve sborníku

  Sb. SOFSEM 89, rok: 1989