Search dblp for Publications

export results for "toc:db/conf/flfp/flfp1986.bht:"

 download as .bib file

@proceedings{DBLP:conf/flfp/1986,
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19129-1},
  doi          = {10.1007/3-540-19129-1},
  isbn         = {3-540-19129-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flfp/1986.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flfp/Bohm86,
  author       = {Corrado B{\"{o}}hm},
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {Reducing Recursion to Iteration by Means of Pairs and N-tuples},
  booktitle    = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  pages        = {58--66},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-19129-1\_3},
  doi          = {10.1007/3-540-19129-1\_3},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/flfp/Bohm86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flfp/Cardelli86,
  author       = {Luca Cardelli},
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {Typechecking Dependent Types and Subtypes},
  booktitle    = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  pages        = {45--57},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-19129-1\_2},
  doi          = {10.1007/3-540-19129-1\_2},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/flfp/Cardelli86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flfp/DAngelo86,
  author       = {Antonio D'Angelo},
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {Horn: an Inference Engine Prototype to Implement Intelligent Systems},
  booktitle    = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  pages        = {184--200},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-19129-1\_9},
  doi          = {10.1007/3-540-19129-1\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flfp/DAngelo86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flfp/GiovannettiM86,
  author       = {Elio Giovannetti and
                  Corrado Moiso},
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {A Completeness Result for E-unification Algorithms Based on Conditional
                  Narrowing},
  booktitle    = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  pages        = {157--167},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-19129-1\_7},
  doi          = {10.1007/3-540-19129-1\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flfp/GiovannettiM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flfp/Guarino86,
  author       = {Nicola Guarino},
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {Representing Domain Structure of Many-Sorted Prolog Knowledge Bases},
  booktitle    = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  pages        = {168--183},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-19129-1\_8},
  doi          = {10.1007/3-540-19129-1\_8},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/flfp/Guarino86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flfp/LassezMM86,
  author       = {Jean{-}Louis Lassez and
                  Michael J. Maher and
                  Kim Marriott},
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {Unification Revisited},
  booktitle    = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  pages        = {67--113},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-19129-1\_4},
  doi          = {10.1007/3-540-19129-1\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flfp/LassezMM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flfp/MiglioliMO86,
  author       = {Pierangelo Miglioli and
                  Ugo Moscato and
                  Mario Ornaghi},
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {{PAP:} {A} Logic Programming System Based on a Constructive Logic},
  booktitle    = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  pages        = {143--156},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-19129-1\_6},
  doi          = {10.1007/3-540-19129-1\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flfp/MiglioliMO86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flfp/Omodeo86,
  author       = {Eugenio G. Omodeo},
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {Hints for the Design of a Set Calculus Oriented to Automated Deduction},
  booktitle    = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  pages        = {201--218},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-19129-1\_10},
  doi          = {10.1007/3-540-19129-1\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flfp/Omodeo86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flfp/Talcott86,
  author       = {Carolyn L. Talcott},
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {\emph{Rum}. An Intensional Theory of Function and Control Abstractions},
  booktitle    = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  pages        = {3--44},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-19129-1\_1},
  doi          = {10.1007/3-540-19129-1\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flfp/Talcott86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flfp/ZanioloS86,
  author       = {Carlo Zaniolo and
                  Domenico Sacc{\`{a}}},
  editor       = {Mauro Boscarol and
                  Luigia Carlucci Aiello and
                  Giorgio Levi},
  title        = {Rule Rewriting Methods for Efficient Implementations of Horn Logic},
  booktitle    = {Foundations of Logic and Functional Programming, Workshop, Trento,
                  Italy, December 15-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {306},
  pages        = {114--139},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-19129-1\_5},
  doi          = {10.1007/3-540-19129-1\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flfp/ZanioloS86.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.