BibTeX records: Carlo Cecchi

• > Home > Persons > Carlo Cecchi

@inproceedings{DBLP:conf/iclp/BoscoCMPS90,
  author       = {Pier Giorgio Bosco and
                  Carlo Cecchi and
                  Corrado Moiso and
                  M. Porta and
                  Giorgio Sofi},
  editor       = {David H. D. Warren and
                  P{\'{e}}ter Szeredi},
  title        = {Logic and Functional Programmin on Distributed Memory Architectures},
  booktitle    = {Logic Programming, Proceedings of the Seventh International Conference,
                  Jerusalem, Israel, June 18-20, 1990},
  pages        = {325--339},
  publisher    = {{MIT} Press},
  year         = {1990},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/BoscoCMPS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BoscoCM89,
  author       = {Pier Giorgio Bosco and
                  Carlo Cecchi and
                  Corrado Moiso},
  editor       = {Giorgio Levi and
                  Maurizio Martelli},
  title        = {An Extension of {WAM} for {K-LEAF:} {A} WAM-based Compilation of Conditional
                  Narrowing},
  booktitle    = {Logic Programming, Proceedings of the Sixth International Conference,
                  Lisbon, Portugal, June 19-23, 1989},
  pages        = {318--333},
  publisher    = {{MIT} Press},
  year         = {1989},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/BoscoCM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/parle/BoscoCM89,
  author       = {Pier Giorgio Bosco and
                  Carlo Cecchi and
                  Corrado Moiso},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {{IDEAL} {\&} {K-LEAF} implementation: a progress report},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {I:}
                  Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {365},
  pages        = {413--432},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3540512845\_54},
  doi          = {10.1007/3540512845\_54},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/BoscoCM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BoscoCM88,
  author       = {Pier Giorgio Bosco and
                  Carlo Cecchi and
                  Corrado Moiso},
  editor       = {Robert A. Kowalski and
                  Kenneth A. Bowen},
  title        = {Exploiting the Full Power of Logic Plus Functional Programming},
  booktitle    = {Logic Programming, Proceedings of the Fifth International Conference
                  and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
  pages        = {3--17},
  publisher    = {{MIT} Press},
  year         = {1988},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/BoscoCM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/CecchiSA87,
  author       = {Carlo Cecchi and
                  Dario Sartini and
                  Luigia Carlucci Aiello},
  editor       = {Jean{-}Louis Lassez},
  title        = {Evaluating Logic Programs via Set-Valued Functions},
  booktitle    = {Logic Programming, Proceedings of the Fourth International Conference,
                  Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
  pages        = {428--455},
  publisher    = {{MIT} Press},
  year         = {1987},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/CecchiSA87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pieee/AielloCS86,
  author       = {Luigia Aiello and
                  Carlo Cecchi and
                  Dario Sartini},
  title        = {Representation and use of metaknowledge},
  journal      = {Proc. {IEEE}},
  volume       = {74},
  number       = {10},
  pages        = {1304--1321},
  year         = {1986},
  url          = {https://doi.org/10.1109/PROC.1986.13633},
  doi          = {10.1109/PROC.1986.13633},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/AielloCS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/db-workshops/AielloC85,
  author       = {Luigia Carlucci Aiello and
                  Carlo Cecchi},
  editor       = {Joachim W. Schmidt and
                  Costantino Thanos},
  title        = {Adding a Closure Operator to the Extended Relational Algebra: {A}
                  Further Step Towards the Integration of Database Techniques and Logic
                  Programming},
  booktitle    = {Foundations of Knowledge Base Management: Contributions from Logic,
                  Databases, and Artificial Intelligence, Book resulting from the Xania
                  Workshop 1985},
  series       = {Topics in Information Systems},
  pages        = {179--202},
  publisher    = {Springer},
  year         = {1985},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/db-workshops/AielloC85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}