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

1993

• Committed-choice logic programming in linear logic

  ZLATUŠKA Jiří

  Chapter of a book

  Computational Logic and Proof Theory (Third Kurt Gödel Colloquium, KGC'93), edition: Vyd. 1., year: 1993, number of pages: 348-337+1

• Concurrent logic programming in linear logic

  ZLATUŠKA Jiří

  Article in Proceedings

  Workshop on Concurrency in Computational Logic, year: 1993

• Lambda-kalkul

  ZLATUŠKA Jiří

  Monograph

  Year: 1993, edition: Vyd. 1., number of pages: 240 s.

• Linear logic semantics for Concurrent Prolog

  ZLATUŠKA Jiří

  Article in Proceedings

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

1992

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

  ZLATUŠKA Jiří

  Article in Proceedings

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

1991

• Modelling inheritance in a strongly typed functional model

  ZLATUŠKA Jiří

  Article in Proceedings

  Next Generation Information System Technology, year: 1991

• Od logického programování k paralelismu

  ZLATUŠKA Jiří

  Article in Periodical

  Informačné systémy, year: 1991

1990

• Od logického programování k paralelismu

  ZLATUŠKA Jiří

  Article in Proceedings

  Proc. SOFSEM 90, year: 1990

• Od logiky k logickému programování

  ZLATUŠKA Jiří

  Article in Periodical

  Informačné systémy, year: 1990

1989

• Od logiky k logickému programování

  ZLATUŠKA Jiří

  Article in Proceedings

  Sb. SOFSEM 89, year: 1989