Jirí Zlatuska

According to our database, Jirí Zlatuska authored at least 8 papers between 1985 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Stepping Stones to an Information Society.

Jirí Zlatuska

Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

1994

Transforming Specifications of Observable Behaviour into Programs.

David R. Gilbert, Christopher J. Hogger, Jirí Zlatuska

Proceedings of the Logic Programming Synthesis and Transformation, 1994

1993

Committed-Choice Concurrent Logic Programming in Linear Logic.

Jirí Zlatuska

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Linear Logic Semantics for Concurrent Prolog.

Jirí Zlatuska

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1990

Modelling Inheritance in a Strongly Typed Functional Model.

Jirí Zlatuska

Proceedings of the Next Generation Information System Technology, 1990

1986

Data Bases and the Lambda-Calculus.

Jirí Zlatuska

Proceedings of the Information Processing 86, 1986

1985

Normal forms in the typed Λ-calculus with tuple types.

Jirí Zlatuska

Kybernetika, 1985

Hit Data Model Data Bases from the Functional Point of View.

Jirí Zlatuska

Proceedings of the VLDB'85, 1985