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}
}

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.