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    = {Sun, 04 Aug 2024 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}
}

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.