Jirí Zlatuska

Publication Activity (10 Years)

Years Active: 1985-1997
Publications (10 Years): 0

Publications

Jirí Zlatuska
Stepping Stones to an Information Society. SOFSEM (1997)
David R. Gilbert, Christopher J. Hogger, Jirí Zlatuska
Transforming Specifications of Observable Behaviour into Programs. LOPSTR (1994)
Jirí Zlatuska
Committed-Choice Concurrent Logic Programming in Linear Logic. Kurt Gödel Colloquium (1993)
Jirí Zlatuska
Linear Logic Semantics for Concurrent Prolog. ELP (1993)
Jirí Zlatuska
Modelling Inheritance in a Strongly Typed Functional Model. East/West Database Workshop (1990)
Jirí Zlatuska
Data Bases and the Lambda-Calculus. IFIP Congress (1986)
Jirí Zlatuska
Hit Data Model Data Bases from the Functional Point of View. VLDB (1985)
Jirí Zlatuska
Normal forms in the typed Λ-calculus with tuple types. Kybernetika 21 (5) (1985)