Jacek Leszczylowski

17 papers A* 3A 2B 4C 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2003 — conf
Implementing Mediators through Virtual Updateable Views.
EFIS
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta
2003 C conf
Updatable XML Views.
ADBIS
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta
2003 — conf
Updateable Views for an XML Query Language.
CAiSE Short Paper Proceedings
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta
1995 A* conf
Procedures in Object-Oriented Query Languages.
VLDB
Kazimierz Subieta, Yahiko Kambayashi, Jacek Leszczylowski
1993 B conf
Negation as Partial Failure.
LPNMR
Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi
1991 A conf
Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.
STACS
Jacek Leszczylowski, Martin Wirsing
1989 J jnl
Prosper: A Language for Specification by Prototyping.
Comput. Lang.
Jacek Leszczylowski, James M. Bieman
1988 J jnl
Logic Programming with External Procedures: Introducing S-Unification.
Inf. Process. Lett.
Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski
1982 — conf
A system for reasoning within and about algebraic specifications.
Symposium on Programming
Jacek Leszczylowski, Martin Wirsing
1981 — conf
FP Systems in Edinburgh LCF.
ICFPC
Jacek Leszczylowski
1980 A conf
An Experiment with "Edinburgh LCF".
CADE
Jacek Leszczylowski
1980 — conf
Edingburgh LCF Supporting FP Systems.
GI Jahrestagung
Jacek Leszczylowski
1980 A* conf
On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF.
AAAI
Jacek Leszczylowski
1980 A* conf
On fundamentals of computer-aided design of firmware.
MICRO
Igor Hansen, Jacek Leszczylowski
1976 B conf
Microprogram-Oriented Model of the Controlled Structure.
MFCS
Igor Hansen, Jacek Leszczylowski
1974 B conf
Mathematical Model of Programs with Dynamic Allocation of Variables.
MFCS
Jacek Leszczylowski
1974 B conf
On Equivalence of Programs.
MFCS
Jacek Leszczylowski