| 2003 |
16 | | Hanna Kozankiewicz,
Jacek Leszczylowski,
Kazimierz Subieta:
Updatable XML Views.
ADBIS 2003: 381-399 |
15 | | Hanna Kozankiewicz,
Jacek Leszczylowski,
Kazimierz Subieta:
Updateable Views for an XML Query Language.
CAiSE Short Paper Proceedings 2003 |
14 | | Hanna Kozankiewicz,
Jacek Leszczylowski,
Kazimierz Subieta:
Implementing Mediators through Virtual Updateable Views.
EFIS 2003: 52-62 |
| 1995 |
13 | | Kazimierz Subieta,
Yahiko Kambayashi,
Jacek Leszczylowski:
Procedures in Object-Oriented Query Languages.
VLDB 1995: 182-193 |
| 1993 |
12 | | Bamshad Mobasher,
Jacek Leszczylowski,
Don Pigozzi:
Negation as Partial Failure.
LPNMR 1993: 244-262 |
| 1991 |
11 | | Jacek Leszczylowski,
Martin Wirsing:
Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.
STACS 1991: 1-15 |
| 1989 |
10 | | Jacek Leszczylowski,
James M. Bieman:
Prosper: A Language for Specification by Prototyping.
Comput. Lang. 14(3): 165-180 (1989) |
| 1988 |
9 | | Jacek Leszczylowski,
Staffan Bonnier,
Jan Maluszynski:
Logic Programming with External Procedures: Introducing S-Unification.
Inf. Process. Lett. 27(3): 159-165 (1988) |
| 1982 |
8 | | Jacek Leszczylowski,
Martin Wirsing:
A system for reasoning within and about algebraic specifications.
Symposium on Programming 1982: 257-282 |
| 1981 |
7 | | Jacek Leszczylowski:
FP Systems in Edinburgh LCF.
ICFPC 1981: 374-386 |
| 1980 |
6 | | Jacek Leszczylowski:
On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF.
AAAI 1980: 84-86 |
5 | | Jacek Leszczylowski:
An Experiment with "Edinburgh LCF".
CADE 1980: 170-181 |
4 | | Jacek Leszczylowski:
Edingburgh LCF Supporting FP Systems.
GI Jahrestagung 1980: 430 |
| 1976 |
3 | | I. Hansen,
Jacek Leszczylowski:
Microprogram-Oriented Model of the Controlled Structure.
MFCS 1976: 317-322 |
| 1974 |
2 | | Jacek Leszczylowski:
On Equivalence of Programs.
MFCS 1974: 377-380 |
1 | | Jacek Leszczylowski:
Mathematical Model of Programs with Dynamic Allocation of Variables.
MFCS 1974: 381-387 |