Search dblp for Publications

export results for "toc:db/conf/iclp/iclp91-w1.bht:"

 download as .bib file

@proceedings{DBLP:conf/iclp/1991w1,
  editor       = {Jean{-}Marie Jacquet},
  title        = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  publisher    = {Wiley},
  year         = {1993},
  isbn         = {0-471-93789-4},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/1991w1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BossiGLM91,
  author       = {Annalisa Bossi and
                  Maurizio Gabbrielli and
                  Giorgio Levi and
                  Maria Chiara Meo},
  editor       = {Jean{-}Marie Jacquet},
  title        = {An OR-Compositional Semantics for Logic Programs},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {215--240},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BossiGLM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BrogiMPT91,
  author       = {Antonio Brogi and
                  Paolo Mancarella and
                  Dino Pedreschi and
                  Franco Turini},
  editor       = {Jean{-}Marie Jacquet},
  title        = {Theory Construction in Computational Logic},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {241--250},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BrogiMPT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/FlenerD91,
  author       = {Pierre Flener and
                  Yves Deville},
  editor       = {Jean{-}Marie Jacquet},
  title        = {Synthesis of Composition and Discrimination Operators for Divide-and-Conquer
                  Logic Programs},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {67--96},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/FlenerD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Fribourg91,
  author       = {Laurent Fribourg},
  editor       = {Jean{-}Marie Jacquet},
  title        = {Extracting Logic Programs from Proofs that Use Extended Prolog Execution
                  and Induction},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {39--66},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Fribourg91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/GilbertH91,
  author       = {David R. Gilbert and
                  Christopher J. Hogger},
  editor       = {Jean{-}Marie Jacquet},
  title        = {Deriving Logic Programs from Observations},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {113--126},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Wed, 08 Apr 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/GilbertH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Habra91,
  author       = {Naji Habra},
  editor       = {Jean{-}Marie Jacquet},
  title        = {From Abstract Data Types to Logic Programs: {A} Transformational Approach},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {251--278},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Habra91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Jacquet91,
  author       = {Jean{-}Marie Jacquet},
  editor       = {Jean{-}Marie Jacquet},
  title        = {Introduction to Logic Programming},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {3--36},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Jacquet91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Jacquet91a,
  author       = {Jean{-}Marie Jacquet},
  editor       = {Jean{-}Marie Jacquet},
  title        = {Verifying Logic Programs from Metric Semantic Characterizations},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {189--211},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Jacquet91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Komorowski91,
  author       = {Henryk Jan Komorowski},
  editor       = {Jean{-}Marie Jacquet},
  title        = {On Data-type-centered, Correctness-oriented Design},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {97--112},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Komorowski91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Naish91,
  author       = {Lee Naish},
  editor       = {Jean{-}Marie Jacquet},
  title        = {Verification of Logic Programs and Imperative Programs},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {143--164},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Naish91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Ross91,
  author       = {Brian J. Ross},
  editor       = {Jean{-}Marie Jacquet},
  title        = {A Semantic Approach to Prolog Program Analysis},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {165--187},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Ross91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/SterlingK91,
  author       = {Leon Sterling and
                  Marc Kirschenbaum},
  editor       = {Jean{-}Marie Jacquet},
  title        = {Applying Techniques to Skeletons},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {127--140},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/SterlingK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/TarauB91,
  author       = {Paul Tarau and
                  Michel Boyer},
  editor       = {Jean{-}Marie Jacquet},
  title        = {Nonstandard Answers of Elementary Logic Programs},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {279--300},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/TarauB91.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.