max planck institut
informatik

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