![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/lopstr/lopstr2001.bht:"
@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 = {Sun, 04 Aug 2024 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} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.