The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Jacek Leszczylowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jacek Leszczylowski, Martin Wirsing
    Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. [Citation Graph (2, 0)][DBLP]
    STACS, 1991, pp:1-15 [Conf]
  2. Kazimierz Subieta, Yahiko Kambayashi, Jacek Leszczylowski
    Procedures in Object-Oriented Query Languages. [Citation Graph (1, 2)][DBLP]
    VLDB, 1995, pp:182-193 [Conf]
  3. Jacek Leszczylowski
    On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:84-86 [Conf]
  4. Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta
    Updatable XML Views. [Citation Graph (0, 0)][DBLP]
    ADBIS, 2003, pp:381-399 [Conf]
  5. Jacek Leszczylowski
    An Experiment with "Edinburgh LCF". [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:170-181 [Conf]
  6. Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta
    Updateable Views for an XML Query Language. [Citation Graph (0, 0)][DBLP]
    CAiSE Short Paper Proceedings, 2003, pp:- [Conf]
  7. Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta
    Implementing Mediators through Virtual Updateable Views. [Citation Graph (0, 0)][DBLP]
    EFIS, 2003, pp:52-62 [Conf]
  8. Jacek Leszczylowski
    Edingburgh LCF Supporting FP Systems. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:430- [Conf]
  9. Jacek Leszczylowski
    FP Systems in Edinburgh LCF. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:374-386 [Conf]
  10. Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi
    Negation as Partial Failure. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1993, pp:244-262 [Conf]
  11. I. Hansen, Jacek Leszczylowski
    Microprogram-Oriented Model of the Controlled Structure. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:317-322 [Conf]
  12. Jacek Leszczylowski
    On Equivalence of Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:377-380 [Conf]
  13. Jacek Leszczylowski
    Mathematical Model of Programs with Dynamic Allocation of Variables. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:381-387 [Conf]
  14. Jacek Leszczylowski, Martin Wirsing
    A system for reasoning within and about algebraic specifications. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:257-282 [Conf]
  15. Jacek Leszczylowski, James M. Bieman
    Prosper: A Language for Specification by Prototyping. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1989, v:14, n:3, pp:165-180 [Journal]
  16. Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski
    Logic Programming with External Procedures: Introducing S-Unification. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:27, n:3, pp:159-165 [Journal]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002