Search dblp for Publications

export results for "toc:db/conf/elp/elp91.bht:"

 download as .bib file

@proceedings{DBLP:conf/elp/1991,
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0013601},
  doi          = {10.1007/BFB0013601},
  isbn         = {3-540-55498-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Aronsson91,
  author       = {Martin Aronsson},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {Methodology and Programming Techniques in {GCLA} {II}},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {1--44},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013602},
  doi          = {10.1007/BFB0013602},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Aronsson91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Boley91,
  author       = {Harold Boley},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {Extended Logic-plus-Functional Programming},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {45--72},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013603},
  doi          = {10.1007/BFB0013603},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Boley91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/BrogiLM91,
  author       = {Antonio Brogi and
                  Evelina Lamma and
                  Paola Mello},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {Open Logic Theories},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {73--88},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013604},
  doi          = {10.1007/BFB0013604},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/BrogiLM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Eriksson91,
  author       = {Lars{-}Henrik Eriksson},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {A Finitary Version of the Calculus of Partial Inductive Defintions},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {89--134},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013605},
  doi          = {10.1007/BFB0013605},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Eriksson91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Felty91,
  author       = {Amy P. Felty},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {A Logic Programming Approach to Implementing Higher-Order Term Rewriting},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {135--161},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013606},
  doi          = {10.1007/BFB0013606},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Felty91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/FranzenHJ91,
  author       = {Torkel Franz{\'{e}}n and
                  Seif Haridi and
                  Sverker Janson},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {An Overview of the Andorra Kernel Language},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {163--179},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013607},
  doi          = {10.1007/BFB0013607},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/FranzenHJ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Hallnas91,
  author       = {Lars Halln{\"{a}}s},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {Logical and Computational Invariants of Programs},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {181--191},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013608},
  doi          = {10.1007/BFB0013608},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Hallnas91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Hannan91,
  author       = {John Hannan},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {Implementing lambda-Calculus Reduction Strategies in Extended Logic
                  Programming Languages},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {193--219},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013609},
  doi          = {10.1007/BFB0013609},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Hannan91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Hanschke91,
  author       = {Philipp Hanschke},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {Terminological Reasoning and Partial Inductive Definitions},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {221--237},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013610},
  doi          = {10.1007/BFB0013610},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Hanschke91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/Kreuger91,
  author       = {Per Kreuger},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {{GCLA} {II} - {A} Definitional Approach to Control},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {239--297},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013611},
  doi          = {10.1007/BFB0013611},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Kreuger91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/MichaylovP91,
  author       = {Spiro Michaylov and
                  Frank Pfenning},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {Natural Semantics and Some of Its Meta-Theory in Elf},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {299--344},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013612},
  doi          = {10.1007/BFB0013612},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/MichaylovP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/elp/ReedLS91,
  author       = {David W. Reed and
                  Donald W. Loveland and
                  Bruce T. Smith},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {The Near-Horn Approach to Disjunctive Logic Programming},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {345--369},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013613},
  doi          = {10.1007/BFB0013613},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/ReedLS91.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.