Search dblp for Publications

export results for "toc:db/conf/alpuk/alpuk92.bht:"

 download as .bib file

@proceedings{DBLP:conf/alpuk/1992,
  editor       = {Krysia Broda},
  title        = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3},
  doi          = {10.1007/978-1-4471-3421-3},
  isbn         = {3-540-19783-4},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/AntoniouS92,
  author       = {Grigoris Antoniou and
                  Volker Sperschneider},
  editor       = {Krysia Broda},
  title        = {Modularity for Logic Programs},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {97--107},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_6},
  doi          = {10.1007/978-1-4471-3421-3\_6},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/AntoniouS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/BoerP92,
  author       = {Frank S. de Boer and
                  Catuscia Palamidessi},
  editor       = {Krysia Broda},
  title        = {On the Semantics of Concurrent Constraint Programming},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {145--173},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_9},
  doi          = {10.1007/978-1-4471-3421-3\_9},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/BoerP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/BowersH92,
  author       = {Antony Francis Bowers and
                  Patricia M. Hill},
  editor       = {Krysia Broda},
  title        = {An Introduction to G{\"{o}}del},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {299--343},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_16},
  doi          = {10.1007/978-1-4471-3421-3\_16},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/BowersH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/Bsaies92,
  author       = {Khaled Bsa{\"{\i}}es},
  editor       = {Krysia Broda},
  title        = {Static Analysis for the Synthesis of Eureka Properties for Transforming
                  Logic Programs},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {41--61},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_3},
  doi          = {10.1007/978-1-4471-3421-3\_3},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/Bsaies92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/ChenS92,
  author       = {Jian Chen and
                  John Staples},
  editor       = {Krysia Broda},
  title        = {Soft Sorting in Logic Programming},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {79--96},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_5},
  doi          = {10.1007/978-1-4471-3421-3\_5},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/ChenS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/Clocksin92,
  author       = {W. F. Clocksin},
  editor       = {Krysia Broda},
  title        = {The DelPhi Multiprocessor Inference Machine},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {189--198},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_11},
  doi          = {10.1007/978-1-4471-3421-3\_11},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/Clocksin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/FlorentinG92,
  author       = {John Florentin and
                  Martin Gittins},
  editor       = {Krysia Broda},
  title        = {Parallel Logic Programming in Strand: {A} Tutorial},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {344--354},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_17},
  doi          = {10.1007/978-1-4471-3421-3\_17},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/FlorentinG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/GabbayO92,
  author       = {Dov M. Gabbay and
                  Hans J{\"{u}}rgen Ohlbach},
  editor       = {Krysia Broda},
  title        = {From {A} Hilbert Calculus to its Model Theoretic Semantics},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {218--252},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_13},
  doi          = {10.1007/978-1-4471-3421-3\_13},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/GabbayO92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/Hodges92,
  author       = {Wilfried Hodges},
  editor       = {Krysia Broda},
  title        = {Orn Clause Logic 1992},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {201--217},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_12},
  doi          = {10.1007/978-1-4471-3421-3\_12},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/Hodges92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/Jacquet92,
  author       = {Jean{-}Marie Jacquet},
  editor       = {Krysia Broda},
  title        = {Metric Characterizations of Contextual Logic Programs},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {21--40},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_2},
  doi          = {10.1007/978-1-4471-3421-3\_2},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/Jacquet92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/JiangR92,
  author       = {Yuejun Jiang and
                  Barry Richards},
  editor       = {Krysia Broda},
  title        = {An Amalgamated Temporal Logic},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {263--295},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_15},
  doi          = {10.1007/978-1-4471-3421-3\_15},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/JiangR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/LuG92,
  author       = {Lunjin Lu and
                  Peter Greenfield},
  editor       = {Krysia Broda},
  title        = {An Algorithm for Finite Approximations of Definite Programs and its
                  Implementation in Prolog},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {62--76},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_4},
  doi          = {10.1007/978-1-4471-3421-3\_4},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/LuG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/PimentelT92,
  author       = {Ernesto Pimentel and
                  Jos{\'{e}} M. Troya},
  editor       = {Krysia Broda},
  title        = {L2{\(\vert\)}{\(\vert\)}O2: Operational and Declarative Semantics},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {174--188},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_10},
  doi          = {10.1007/978-1-4471-3421-3\_10},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/PimentelT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/PymW92,
  author       = {David J. Pym and
                  Lincoln A. Wallen},
  editor       = {Krysia Broda},
  title        = {Logic Programming via Proof-valued Computations},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {253--262},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_14},
  doi          = {10.1007/978-1-4471-3421-3\_14},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/PymW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/ShihDL92,
  author       = {Timothy K. Shih and
                  Ruth E. Davis and
                  Fuyau Lin},
  editor       = {Krysia Broda},
  title        = {Disciplined Exceptions in Logic Programming},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {124--141},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_8},
  doi          = {10.1007/978-1-4471-3421-3\_8},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/ShihDL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/ShyamasundarRK92,
  author       = {R. K. Shyamasundar and
                  M. R. K. Krishna Rao and
                  Deepak Kapur},
  editor       = {Krysia Broda},
  title        = {Rewriting Concepts in the Study of Termination of Logic Programs},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {3--20},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_1},
  doi          = {10.1007/978-1-4471-3421-3\_1},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/ShyamasundarRK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alpuk/SucciMCCNPRV92,
  author       = {Giancarlo Succi and
                  Giuseppe A. Martino and
                  Giancarlo Colla and
                  Diego C{\`{o}} and
                  Sergio Novella and
                  Amedeo Pata and
                  Alexandro Regoli and
                  Luca Vigan{\`{o}}},
  editor       = {Krysia Broda},
  title        = {{SEL} Compiler {\&} Abstract Analyzers},
  booktitle    = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
                  London, 30 March - 1 April 1992},
  series       = {Workshops in Computing},
  pages        = {108--123},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3421-3\_7},
  doi          = {10.1007/978-1-4471-3421-3\_7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alpuk/SucciMCCNPRV92.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.