The SCEAS System
Navigation Menu

Search the dblp DataBase


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.019secs, Finished in 0.020secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002