Search dblp for Publications

export results for "toc:db/conf/lopstr/lopstr2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lopstr/AlbertV01,
  author       = {Elvira Albert and
                  Germ{\'{a}}n Vidal},
  editor       = {Alberto Pettorossi},
  title        = {Symbolic Profiling for Multi-paradigm Declarative Languages},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {148--167},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_9},
  doi          = {10.1007/3-540-45607-4\_9},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlbertV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/AlferesBLP01,
  author       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Antonio Brogi and
                  Jo{\~{a}}o Alexandre Leite and
                  Lu{\'{\i}}s Moniz Pereira},
  editor       = {Alberto Pettorossi},
  title        = {Computing Environment-Aware Agent Behaviours with Logic Program Updates},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {216--232},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_12},
  doi          = {10.1007/3-540-45607-4\_12},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlferesBLP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Caldwell01,
  author       = {James L. Caldwell},
  editor       = {Alberto Pettorossi},
  title        = {Extracting General Recursive Program Schemes in Nuprl's Type Theory},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {233--244},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_13},
  doi          = {10.1007/3-540-45607-4\_13},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Caldwell01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/DelzannoE01,
  author       = {Giorgio Delzanno and
                  Sandro Etalle},
  editor       = {Alberto Pettorossi},
  title        = {Proof Theory, Transformations, and Logic Programming for Debugging
                  Security Protocols},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {76--90},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_5},
  doi          = {10.1007/3-540-45607-4\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/DelzannoE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/FerrariFO01,
  author       = {Mauro Ferrari and
                  Camillo Fiorentini and
                  Mario Ornaghi},
  editor       = {Alberto Pettorossi},
  title        = {Extracting Exact Time Bounds from Logical Proofs},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {245--266},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_14},
  doi          = {10.1007/3-540-45607-4\_14},
  timestamp    = {Wed, 30 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/FerrariFO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/FerreR01,
  author       = {S{\'{e}}bastien Ferr{\'{e}} and
                  Olivier Ridoux},
  editor       = {Alberto Pettorossi},
  title        = {A Framework for Developing Embeddable Customized Logics},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {191--215},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_11},
  doi          = {10.1007/3-540-45607-4\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/FerreR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/FioravantiPP01,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Alberto Pettorossi},
  title        = {Verification of Sets of Infinite State Processes Using Program Transformation},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {111--128},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_7},
  doi          = {10.1007/3-540-45607-4\_7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/FioravantiPP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/KakehiGF01,
  author       = {Kazuhiko Kakehi and
                  Robert Gl{\"{u}}ck and
                  Yoshihiko Futamura},
  editor       = {Alberto Pettorossi},
  title        = {On Deforesting Parameters of Accumulating Maps},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {46--56},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_3},
  doi          = {10.1007/3-540-45607-4\_3},
  timestamp    = {Fri, 07 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/KakehiGF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/LauO01,
  author       = {Kung{-}Kiu Lau and
                  Mario Ornaghi},
  editor       = {Alberto Pettorossi},
  title        = {Correct Object-Oriented Systems in Computational Logic},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {168--190},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_10},
  doi          = {10.1007/3-540-45607-4\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/LauO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/LeuschelG01,
  author       = {Michael Leuschel and
                  Stefan Gruner},
  editor       = {Alberto Pettorossi},
  title        = {Abstract Conjunctive Partial Deduction Using Regular Types and Its
                  Application to Model Checking},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {91--110},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_6},
  doi          = {10.1007/3-540-45607-4\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/LeuschelG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/OsorioNA01,
  author       = {Mauricio Osorio and
                  Juan Antonio Navarro P{\'{e}}rez and
                  Jos{\'{e}} Arrazola},
  editor       = {Alberto Pettorossi},
  title        = {Equivalence in Answer Set Programming},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {57--75},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_4},
  doi          = {10.1007/3-540-45607-4\_4},
  timestamp    = {Fri, 29 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/OsorioNA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/PotikasRG01,
  author       = {Petros Potikas and
                  Panos Rondogiannis and
                  Manolis Gergatsoulis},
  editor       = {Alberto Pettorossi},
  title        = {A Transformation Technique for Datalog Programs Based on Non-deterministic
                  Constructs},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {25--45},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_2},
  doi          = {10.1007/3-540-45607-4\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/PotikasRG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Shankar01,
  author       = {Natarajan Shankar},
  editor       = {Alberto Pettorossi},
  title        = {Static Analysis for Safe Destructive Updates in a Functional Language},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_1},
  doi          = {10.1007/3-540-45607-4\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Shankar01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/VanhoofB01,
  author       = {Wim Vanhoof and
                  Maurice Bruynooghe},
  editor       = {Alberto Pettorossi},
  title        = {When Size Does Matter},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {129--147},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_8},
  doi          = {10.1007/3-540-45607-4\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/VanhoofB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lopstr/2001,
  editor       = {Alberto Pettorossi},
  title        = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4},
  doi          = {10.1007/3-540-45607-4},
  isbn         = {3-540-43915-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.