Sýkora, Ondrej Programming Logics, MPI for Informatics, Max Planck Society;
Vrto, Imrich Programming Logics, MPI for Informatics, Max Planck Society;
91-125_ch.pdf (beliebiger Volltext), 10MB
Sýkora, O., & Vrto, I.(1991). Edge separators for graphs of bounded genus with applications (MPI-I-91-125). Saarbrücken: Max-Planck-Institut für Informatik.