Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Pacholski, Leszek Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-265.pdf (Any fulltext), 109KB
Charatonik, W., & Pacholski, L.(1993). Negative set constraints: an easy proof of decidability (MPI-I-93-265). Saarbrücken: Max-Planck-Institut für Informatik.