Jacek Leszczylowski Coauthor index DBLP Vis pubzone.org

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

DBLP keys2003
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta: Updatable XML Views. ADBIS 2003: 381-399
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta: Updateable Views for an XML Query Language. CAiSE Short Paper Proceedings 2003
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta: Implementing Mediators through Virtual Updateable Views. EFIS 2003: 52-62
1995
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazimierz Subieta, Yahiko Kambayashi, Jacek Leszczylowski: Procedures in Object-Oriented Query Languages. VLDB 1995: 182-193
1993
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBamshad Mobasher, Jacek Leszczylowski, Don Pigozzi: Negation as Partial Failure. LPNMR 1993: 244-262
1991
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek Leszczylowski, Martin Wirsing: Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. STACS 1991: 1-15
1989
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek Leszczylowski, James M. Bieman: Prosper: A Language for Specification by Prototyping. Comput. Lang. 14(3): 165-180 (1989)
1988
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek Leszczylowski, Staffan Bonnier, Jan Maluszynski: Logic Programming with External Procedures: Introducing S-Unification. Inf. Process. Lett. 27(3): 159-165 (1988)
1982
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek Leszczylowski, Martin Wirsing: A system for reasoning within and about algebraic specifications. Symposium on Programming 1982: 257-282
1981
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek Leszczylowski: FP Systems in Edinburgh LCF. ICFPC 1981: 374-386
1980
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek Leszczylowski: On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF. AAAI 1980: 84-86
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek Leszczylowski: An Experiment with "Edinburgh LCF". CADE 1980: 170-181
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek Leszczylowski: Edingburgh LCF Supporting FP Systems. GI Jahrestagung 1980: 430
1976
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. Hansen, Jacek Leszczylowski: Microprogram-Oriented Model of the Controlled Structure. MFCS 1976: 317-322
1974
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek Leszczylowski: On Equivalence of Programs. MFCS 1974: 377-380
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek 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 © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)