Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/lopstr/1991,
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7},
  doi          = {10.1007/978-1-4471-3494-7},
  isbn         = {3-540-19742-7},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/AlexandreBQ91,
  author       = {Francis Alexandre and
                  Khaled Bsa{\"{\i}}es and
                  Alain Qu{\'{e}}r{\'{e}}},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {On Using Mode Input-output for Transforming Logic Programs},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {129--146},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_11},
  doi          = {10.1007/978-1-4471-3494-7\_11},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlexandreBQ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Ameur91,
  author       = {Yamine A{\"{\i}}t Ameur},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Program Transformations Directed by the Evaluation of non Functional
                  Properties (Extended Abstract)},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {297--299},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_21},
  doi          = {10.1007/978-1-4471-3494-7\_21},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Ameur91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Antoy91,
  author       = {Sergio Antoy},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Non-Determinism and Lazy Evaluation in Logic Programming},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {318--331},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_23},
  doi          = {10.1007/978-1-4471-3494-7\_23},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Antoy91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Eusterbrock91,
  author       = {Jutta Eusterbrock},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Speed-up Transformations of Logic Programs by Abstraction and Learning},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_13},
  doi          = {10.1007/978-1-4471-3494-7\_13},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Eusterbrock91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/FlenerD91,
  author       = {Pierre Flener and
                  Yves Deville},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Towards Stepwise, Schema-guided Synthesis of Logic Programms},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {46--64},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_4},
  doi          = {10.1007/978-1-4471-3494-7\_4},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/FlenerD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/FuchsF91,
  author       = {Norbert E. Fuchs and
                  Markus P. J. Fromherz},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Schema-Based Transfomations of Logic Programs},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {111--125},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_9},
  doi          = {10.1007/978-1-4471-3494-7\_9},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/FuchsF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Huntbach91,
  author       = {Matthew M. Huntbach},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Automated Translation of Occam to a Concurrent Logic Language},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {254--275},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_19},
  doi          = {10.1007/978-1-4471-3494-7\_19},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Huntbach91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/JantkeG91,
  author       = {Klaus P. Jantke and
                  Ulf Goldhammer},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended
                  Abstract)},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {65--68},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_5},
  doi          = {10.1007/978-1-4471-3494-7\_5},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/JantkeG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/JiaoG91,
  author       = {Zhuoan Jiao and
                  Peter M. D. Gray},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Query Optimization in an Object-Oriented Database using Prolog (Extende
                  Abstract)},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {332--333},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_24},
  doi          = {10.1007/978-1-4471-3494-7\_24},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/JiaoG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/LecoutreDL91,
  author       = {Christophe Lecoutre and
                  Philippe Devienne and
                  Patrick Leb{\`{e}}gue},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Abstract Interpretation and Recursive Behaviour of Logic Programs},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {147--166},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_12},
  doi          = {10.1007/978-1-4471-3494-7\_12},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/LecoutreDL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Lever91,
  author       = {Jonathan M. Lever},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Program Equivalence, Program Development and Integrity Checking},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_1},
  doi          = {10.1007/978-1-4471-3494-7\_1},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Lever91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/MiglioliMO91,
  author       = {Pierangelo Miglioli and
                  Ugo Moscato and
                  Mario Ornaghi},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Program Specification and Synthesis in Constructive Formal Systems},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {13--26},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_2},
  doi          = {10.1007/978-1-4471-3494-7\_2},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/MiglioliMO91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Mill91,
  author       = {P. M. Mill},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Pruning Operators for Partial Evaluation},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {183--204},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_14},
  doi          = {10.1007/978-1-4471-3494-7\_14},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Mill91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Noel91,
  author       = {Philippe No{\"{e}}l},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {A Method for the Determinisation of Propositional Temporal Formulae},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {276--296},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_20},
  doi          = {10.1007/978-1-4471-3494-7\_20},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Noel91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/ParrainDL91,
  author       = {Anne Parrain and
                  Philippe Devienne and
                  Patrick Leb{\`{e}}gue},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Prolog Program Transformations and Meta-Interpreters},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {238--251},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_17},
  doi          = {10.1007/978-1-4471-3494-7\_17},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/ParrainDL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Popelinsky91,
  author       = {Lubos Popel{\'{\i}}nsk{\'{y}}},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract)},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {94--96},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_7},
  doi          = {10.1007/978-1-4471-3494-7\_7},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Popelinsky91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/ProiettiP91,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {An Automatic Transfomation Strategy for Avoiding Unnecessary Variables
                  in Logic Programs (Extended Abstract)},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {126--128},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_10},
  doi          = {10.1007/978-1-4471-3494-7\_10},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/ProiettiP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/ReadK91,
  author       = {M. G. Read and
                  E. A. Kazmierczak},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Formal Program Development in Modular Prolog: {A} Case Study},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {69--93},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_6},
  doi          = {10.1007/978-1-4471-3494-7\_6},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/ReadK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Ross91,
  author       = {Brian J. Ross},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Semantics-based Partial Evaluation of Prolog Programs},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {221--237},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_16},
  doi          = {10.1007/978-1-4471-3494-7\_16},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Ross91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Schaeck91,
  author       = {S. Schaeck},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Global Search Algorithms and the Constraint Logic Programming Framework
                  (Extended Abstract)},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {252--253},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_18},
  doi          = {10.1007/978-1-4471-3494-7\_18},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Schaeck91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/SolnonR91,
  author       = {Christine Solnon and
                  Michel Rueher},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Using a Prolog Prototype for Designing an Object Oriented Scheme},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {300--317},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_22},
  doi          = {10.1007/978-1-4471-3494-7\_22},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/SolnonR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/WaalG91,
  author       = {D. Andre de Waal and
                  John P. Gallagher},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Specialisation of a Unification Algorithm},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {205--220},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_15},
  doi          = {10.1007/978-1-4471-3494-7\_15},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/WaalG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Waldau91,
  author       = {Mattias Waldau},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Formal Validation of Transformation Schemata},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {97--110},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_8},
  doi          = {10.1007/978-1-4471-3494-7\_8},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Waldau91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/WigginsBKH91,
  author       = {Geraint A. Wiggins and
                  Alan Bundy and
                  Ina Kraan and
                  Jane Hesketh},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Synthesis and Transfomation of Logic Programs from Constructive, Inductive
                  Proof},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {27--45},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_3},
  doi          = {10.1007/978-1-4471-3494-7\_3},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/WigginsBKH91.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.