default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lopstr/lopstr95.bht:"
download as .bib file
@proceedings{DBLP:conf/lopstr/1995,
editor = {Maurizio Proietti},
title = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60939-3},
doi = {10.1007/3-540-60939-3},
isbn = {3-540-60939-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Aarts95,
author = {Erik Aarts},
editor = {Maurizio Proietti},
title = {Complexity of Horn Programs},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {76--90},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_6},
doi = {10.1007/3-540-60939-3\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Aarts95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ArtsZ95,
author = {Thomas Arts and
Hans Zantema},
editor = {Maurizio Proietti},
title = {Termination of Logic Programs Using Semantic Unification},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {219--233},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_17},
doi = {10.1007/3-540-60939-3\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ArtsZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiCE95,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle},
editor = {Maurizio Proietti},
title = {Transformation of Left Terminating Programs: the Reordering Problem},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {33--45},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_3},
doi = {10.1007/3-540-60939-3\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiCE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FlenerD95,
author = {Pierre Flener and
Yves Deville},
editor = {Maurizio Proietti},
title = {Logic Program Transformation through Generalization Schemata},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {171--173},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_13},
doi = {10.1007/3-540-60939-3\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FlenerD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GallardoT95,
author = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Jos{\'{e}} M. Troya},
editor = {Maurizio Proietti},
title = {Studying the Cost of Logic Languages in an Abstract Interpretation
Framework for Granularity Analysis},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {91--105},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_7},
doi = {10.1007/3-540-60939-3\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GallardoT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Gluck95,
author = {Robert Gl{\"{u}}ck},
editor = {Maurizio Proietti},
title = {On the Mechanics of Metasystem Hierarchies in Program Transformation},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {234--251},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_18},
doi = {10.1007/3-540-60939-3\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Gluck95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Gregory95,
author = {Steve Gregory},
editor = {Maurizio Proietti},
title = {Derivation of Concurrent Algorithms in Tempo},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {46--60},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_4},
doi = {10.1007/3-540-60939-3\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Gregory95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Hanus95,
author = {Michael Hanus},
editor = {Maurizio Proietti},
title = {Efficient Translation of Lazy Functional Logic Programs into Prolog},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {252--266},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_19},
doi = {10.1007/3-540-60939-3\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Hanus95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/KreitzOS95,
author = {Christoph Kreitz and
Jens Otten and
Stephan Schmitt},
editor = {Maurizio Proietti},
title = {Guiding Program Development Systems by a Connection Based Proof Strategy},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {137--151},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_10},
doi = {10.1007/3-540-60939-3\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/KreitzOS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LauO95,
author = {Kung{-}Kiu Lau and
Mario Ornaghi},
editor = {Maurizio Proietti},
title = {Towards an Object-Oriented Methodology for Deductive Synthesis of
Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {152--169},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_11},
doi = {10.1007/3-540-60939-3\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LauO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Leuschel95,
author = {Michael Leuschel},
editor = {Maurizio Proietti},
title = {Ecological Partial Deduction: Preserving Characteristic Trees Without
Constraints},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {1--16},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_1},
doi = {10.1007/3-540-60939-3\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Leuschel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Mesnard95,
author = {Fr{\'{e}}d{\'{e}}ric Mesnard},
editor = {Maurizio Proietti},
title = {Towards Automatic Control for CLP(x) Programs},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {106--119},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_8},
doi = {10.1007/3-540-60939-3\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Mesnard95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ParkesW95,
author = {Andrew J. Parkes and
Geraint A. Wiggins},
editor = {Maurizio Proietti},
title = {Logic Program Synthesis by Induction over Horn Clauses},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {170},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_12},
doi = {10.1007/3-540-60939-3\_12},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/ParkesW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Renault95,
author = {Sophie Renault},
editor = {Maurizio Proietti},
title = {Towards a Complete Proof Procedure to Prove Properties of Normal Logic
Programs under the Completion},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {204--218},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_16},
doi = {10.1007/3-540-60939-3\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Renault95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SemeraroEM95,
author = {Giovanni Semeraro and
Floriana Esposito and
Donato Malerba},
editor = {Maurizio Proietti},
title = {Ideal Refinement of Datalog Programs},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {120--136},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_9},
doi = {10.1007/3-540-60939-3\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SemeraroEM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ToniK95,
author = {Francesca Toni and
Robert A. Kowalski},
editor = {Maurizio Proietti},
title = {An Argumentation-Theoretic Approach to Logic Program Transformation},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {61--75},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_5},
doi = {10.1007/3-540-60939-3\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ToniK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/VasconcelosF95,
author = {Wamberto Weber Vasconcelos and
Norbert E. Fuchs},
editor = {Maurizio Proietti},
title = {An Opportunistic Approach for Logic Program Analysis and Optimisation
Using Enhanced Schema-Based Transformations},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {174--188},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_14},
doi = {10.1007/3-540-60939-3\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/VasconcelosF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/WaalT95,
author = {D. Andre de Waal and
Michael Thielscher},
editor = {Maurizio Proietti},
title = {Solving Deductive Planning Problems Using Program Analysis and Transformation},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {189--203},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_15},
doi = {10.1007/3-540-60939-3\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/WaalT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Wunderwald95,
author = {Jens E. Wunderwald},
editor = {Maurizio Proietti},
title = {Memoing Evaluation by Source-to-Source Transformation},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {17--32},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_2},
doi = {10.1007/3-540-60939-3\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Wunderwald95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-17 09:01 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
