Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lopstr/lopstr96.bht:"
download as .bib file
@proceedings{DBLP:conf/lopstr/1996,
editor = {John P. Gallagher},
title = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62718-9},
doi = {10.1007/3-540-62718-9},
isbn = {3-540-62718-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BenoyK96,
author = {Florence Benoy and
Andy King},
editor = {John P. Gallagher},
title = {Inferring Argument Size Relationships with {CLP(R)}},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {204--223},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_12},
doi = {10.1007/3-540-62718-9\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BenoyK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiC96,
author = {Annalisa Bossi and
Nicoletta Cocco},
editor = {John P. Gallagher},
title = {Replacement Can Preserve Termination},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {104--129},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_7},
doi = {10.1007/3-540-62718-9\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BrogiC96,
author = {Antonio Brogi and
Simone Contiero},
editor = {John P. Gallagher},
title = {Specialising Meta-level Compositions of Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {275--294},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_16},
doi = {10.1007/3-540-62718-9\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BrogiC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Brunekreef96,
author = {Jacob Brunekreef},
editor = {John P. Gallagher},
title = {A Transformation Tool for Pure Prolog Programs},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {130--145},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_8},
doi = {10.1007/3-540-62718-9\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Brunekreef96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CortesiCR96,
author = {Agostino Cortesi and
Baudouin Le Charlier and
Sabina Rossi},
editor = {John P. Gallagher},
title = {Specification-Based Automatic Verification of Prolog Programs},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {38--57},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_3},
doi = {10.1007/3-540-62718-9\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CortesiCR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/DungKT96,
author = {Phan Minh Dung and
Robert A. Kowalski and
Francesca Toni},
editor = {John P. Gallagher},
title = {Synthesis of Proof Procedures for Default Reasoning},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {313--324},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_18},
doi = {10.1007/3-540-62718-9\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/DungKT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FribourgO96,
author = {Laurent Fribourg and
Hans Ols{\'{e}}n},
editor = {John P. Gallagher},
title = {Reductions of Petri Nets and Unfolding of Propositional Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {187--203},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_11},
doi = {10.1007/3-540-62718-9\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FribourgO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FribourgR96,
author = {Laurent Fribourg and
Julian Richardson},
editor = {John P. Gallagher},
title = {Symbolic Verification with Gap-Order Constraints},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {20--37},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_2},
doi = {10.1007/3-540-62718-9\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FribourgR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Gegg-Harrison96,
author = {Timothy S. Gegg{-}Harrison},
editor = {John P. Gallagher},
title = {Extensible Logic Program Schemata},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {256--274},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_15},
doi = {10.1007/3-540-62718-9\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Gegg-Harrison96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/HayesNS96,
author = {Ian J. Hayes and
R. G. Nickson and
Paul A. Strooper},
editor = {John P. Gallagher},
title = {Refining Specifications to Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {1--19},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_1},
doi = {10.1007/3-540-62718-9\_1},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/HayesNS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/JorgensenLM96,
author = {Jesper J{\o}rgensen and
Michael Leuschel and
Bern Martens},
editor = {John P. Gallagher},
title = {Conjunctive Partial Deduction in Practice},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {59--82},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_5},
doi = {10.1007/3-540-62718-9\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/JorgensenLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LauO96,
author = {Kung{-}Kiu Lau and
Mario Ornaghi},
editor = {John P. Gallagher},
title = {Forms of Logic Specifications: {A} Preliminary Study},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {295--312},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_17},
doi = {10.1007/3-540-62718-9\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LauO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LeuschelS96,
author = {Michael Leuschel and
Danny De Schreye},
editor = {John P. Gallagher},
title = {Logic Program Specialisation: How to Be More Specific (Abstract)},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {58},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_4},
doi = {10.1007/3-540-62718-9\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LeuschelS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LeuschelS96a,
author = {Michael Leuschel and
Morten Heine S{\o}rensen},
editor = {John P. Gallagher},
title = {Redundant Argument Filtering of Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {83--103},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_6},
doi = {10.1007/3-540-62718-9\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LeuschelS96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MartinKS96,
author = {Jonathan C. Martin and
Andy King and
Paul Soper},
editor = {John P. Gallagher},
title = {Typed Norms for Typed Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {224--238},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_13},
doi = {10.1007/3-540-62718-9\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MartinKS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MatskinKK96,
author = {Mihhail Matskin and
Henryk Jan Komorowski and
John Krogstie},
editor = {John P. Gallagher},
title = {Partial Deduction in the Framework of Structural Synthesis of Programs},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {239--255},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_14},
doi = {10.1007/3-540-62718-9\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/MatskinKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PettorossiPR96,
author = {Alberto Pettorossi and
Maurizio Proietti and
Sophie Renault},
editor = {John P. Gallagher},
title = {Enhancing Partial Deduction via Unfold/Fold Rules},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {146--168},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_9},
doi = {10.1007/3-540-62718-9\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PettorossiPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PueblaH96,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {John P. Gallagher},
title = {Abstract Specialization and Its Application to Program Parallelization},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {169--186},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_10},
doi = {10.1007/3-540-62718-9\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PueblaH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2024-05-26 03:36 CEST 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:
