Search dblp for Publications

export results for "toc:db/conf/iclp/iclp94-w8.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iclp/AbeckerW94,
  author       = {Andreas Abecker and
                  Holger Wache},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {A Layer Architecture for the Integration of Rules, Inheritance, and
                  Constraints},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {12--22},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper02.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/AbeckerW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/AriolaMST94,
  author       = {Zena M. Ariola and
                  Barton C. Massey and
                  M. Sami and
                  Evan Tick},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {Compilation of Concurrent Declarative Languages},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {120--134},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper10.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/AriolaMST94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BertE94,
  author       = {Didier Bert and
                  Rachid Echahed},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {Integrating Disequations in the Algebraic and Logic Programming Language
                  {LPG}},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {76--93},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper07.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BertE94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/ChakravartyL94,
  author       = {Manuel M. T. Chakravarty and
                  Hendrik C. R. Lock},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {The JUMP-machine: {A} Generic Basis for the Integration of Declarative
                  Paradigms},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {61--75},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper06.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/ChakravartyL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/CzajkowskiUZ94,
  author       = {Grzegorz Czajkowski and
                  Andrzej Uszok and
                  Krzysztof Zielinski},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {Distributed Declarative Systems as Parts of Cooperating Software Environments},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {135},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper11.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/CzajkowskiUZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/DiazRT94,
  author       = {Manuel D{\'{\i}}az and
                  Bartolom{\'{e}} Rubio and
                  Jos{\'{e}} M. Troya},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {Implementation Issues of a Distributed Real-Time Logic Language},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {106--119},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper09.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/DiazRT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Goltz94,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {Logic Programming with Constructor-based Type Constraints},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {36--45},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper04.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Goltz94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Grivas94,
  author       = {Georgios Grivas},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {Efficient Integration of Declarative Paradigms into Symbolic Computation
                  Systems},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {94--105},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper08.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Grivas94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/MarriottS94,
  author       = {Kim Marriott and
                  Peter J. Stuckey},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {Semantics of Constraint Logic Programs with Optimization},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {23--35},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper03.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MarriottS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/RigottiHB94,
  author       = {Christophe Rigotti and
                  Mohand{-}Said Hacid and
                  Jean{-}Fran{\c{c}}ois Boulicaut},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {F-Logic Programming and Terminological Constraints},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {1--11},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper01.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/RigottiHB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Tarver94,
  author       = {M. Tarver},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {A Typed Functional Language Based on Sequent Calculus},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  pages        = {46--60},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper05.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Tarver94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/X94,
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {Cover Page, Preface, and Table of Contents},
  booktitle    = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  url          = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/cover.ps.Z},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/X94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iclp/1994w8,
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Michael Hanus and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  title        = {Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference
                  Workshop. Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany, Report MPI-94-224, June 1994},
  publisher    = {Max-Planck-Institut f{\"{u}}r Informatik, Saarbr{\"{u}}cken,
                  Germany},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/1994w8.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.