Database Entry Point
max planck institut
mpii logo Minerva of the Max Planck Society

Publications Master Template, generated: 19:31, 16 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Peter Barth and Alexander Bockmayr
    Finite domain and cutting plane techniques in CLP($\cal PB$)
    In: Proceedings of the Twelfth International Conference on Logic Programming, Shonan Village Center, Hayama-Machi, Kanagawa, Japan, June 1995, 1995, 133-147
  2. Andreas Podelski and Gert Smolka
    Operational Semantics of Constraint Logic Programming with Coroutining
    In: Proceedings of the 12th International Conference on Logic Programming, Kanagawa, Japan, June, 1995, 449-463