Jacek Leszczylowski

Publication Activity (10 Years)

Years Active: 1974-2003
Publications (10 Years): 0

Publications

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