 | 1998 |
|---|
| 7 |       | Lubos Brim,
Jozef Gruska,
Jirí Zlatuska:
Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings
Springer 1998 |
| 1997 |
|---|
| 6 | | Jirí Zlatuska:
Stepping Stones to an Information Society.
SOFSEM 1997: 349-372 |
| 1994 |
|---|
| 5 | | David Gilbert,
Christopher J. Hogger,
Jirí Zlatuska:
Transforming Specifications of Observable Behaviour into Programs.
LOPSTR 1994: 88-103 |
| 1993 |
|---|
| 4 |  | Jirí Zlatuska:
Linear Logic Semantics for Concurrent Prolog.
ELP 1993: 348-360 |
| 3 | | Jirí Zlatuska:
Committed-Choice Concurrent Logic Programming in Linear Logic.
Kurt Gödel Colloquium 1993: 337-348 |
| 1990 |
|---|
| 2 | | Jirí Zlatuska:
Modelling Inheritance in a Strongly Typed Functional Model.
East/West Database Workshop 1990: 212-227 |
| 1985 |
|---|
| 1 | | Jirí Zlatuska:
Hit Data Model Data Bases from the Functional Point of View.
VLDB 1985: 470-477 |
