FSTTCS 2004: foundations of software technology and theoretical computer science : 24th international conference : Chennai, India, December 16-18, 2004 : proceedings. : workshop on algorithms for dynamic data : workshop on logics for dynamic data : Dec 2004, Chennai, India. (Lecture Notes in Computer Science ; 3328)
FSTTCS 2004: foundations of software technology and theoretical computer science : 24th international conference : Chennai, India, December 16-18, 2004 : proceedings. : workshop on algorithms for dynamic data : workshop on logics for dynamic data : Dec 2004, Chennai, India.