dblp.uni-trier.dewww.uni-trier.de

Jacek Leszczylowski Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
16EEHanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta: Updatable XML Views. ADBIS 2003: 381-399
15EEHanna 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
13EEKazimierz 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
11EEJacek 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
5EEJacek Leszczylowski: An Experiment with "Edinburgh LCF". CADE 1980: 170-181
4 Jacek Leszczylowski: Edingburgh LCF Supporting FP Systems. GI Jahrestagung 1980: 430
1976
3EEI. Hansen, Jacek Leszczylowski: Microprogram-Oriented Model of the Controlled Structure. MFCS 1976: 317-322
1974
2EEJacek Leszczylowski: On Equivalence of Programs. MFCS 1974: 377-380
1EEJacek Leszczylowski: Mathematical Model of Programs with Dynamic Allocation of Variables. MFCS 1974: 381-387

Coauthor Index

1James M. Bieman [10]
2Staffan Bonnier [9]
3I. Hansen [3]
4Yahiko Kambayashi [13]
5Hanna Kozankiewicz [14] [15] [16]
6Jan Maluszynski [9]
7Bamshad Mobasher [12]
8Don Pigozzi [12]
9Kazimierz Subieta [13] [14] [15] [16]
10Martin Wirsing [8] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)