Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Talbot, Jean-Marc Programming Logics, MPI for Informatics, Max Planck Society;
2002-2-008 (beliebiger Volltext), 10KB
Charatonik, W., & Talbot, J.-M.(2002). Atomic set constraints with projection (MPI-I-2002-2-008). Saarbrücken: Max-Planck-Institut für Informatik.