Jacek Leszczylowski

According to our database, Jacek Leszczylowski authored at least 17 papers between 1974 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2003

Implementing Mediators through Virtual Updateable Views.

Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta

Proceedings of the Engineering Federated Information Systems, 2003

Updateable Views for an XML Query Language.

Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta

Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

Updatable XML Views.

Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta

Proceedings of the Advances in Databases and Information Systems, 2003

1995

Procedures in Object-Oriented Query Languages.

Kazimierz Subieta, Yahiko Kambayashi, Jacek Leszczylowski

Proceedings of the VLDB'95, 1995

1993

Negation as Partial Failure.

Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

1991

Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.

Jacek Leszczylowski, Martin Wirsing

Proceedings of the STACS 91, 1991

1989

Prosper: A Language for Specification by Prototyping.

Jacek Leszczylowski, James M. Bieman

Comput. Lang., 1989

1988

Logic Programming with External Procedures: Introducing S-Unification.

Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski

Inf. Process. Lett., 1988

1982

A system for reasoning within and about algebraic specifications.

Jacek Leszczylowski, Martin Wirsing

Proceedings of the International Symposium on Programming, 1982

1981

FP Systems in Edinburgh LCF.

Jacek Leszczylowski

Proceedings of the Formalization of Programming Concepts, 1981

1980

On fundamentals of computer-aided design of firmware.

Igor Hansen, Jacek Leszczylowski

Proceedings of the 13th annual workshop on Microprogramming, 1980

Edingburgh LCF Supporting FP Systems.

Jacek Leszczylowski

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

An Experiment with "Edinburgh LCF".

Jacek Leszczylowski

Proceedings of the 5th Conference on Automated Deduction, 1980

On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF.

Jacek Leszczylowski

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1976

Microprogram-Oriented Model of the Controlled Structure.

Igor Hansen, Jacek Leszczylowski

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974

Mathematical Model of Programs with Dynamic Allocation of Variables.

Jacek Leszczylowski

Proceedings of the Mathematical Foundations of Computer Science, 1974

On Equivalence of Programs.

Jacek Leszczylowski

Proceedings of the Mathematical Foundations of Computer Science, 1974