External Links

Journal: Journal of the ACM

Volume 49, Issue 4

455 -- 495Didier Dubois, Hélène Fargier, Henri Prade, Patrice Perny. Qualitative decision theory: from savage s axioms to nonmonotonic reasoning
496 -- 511Andris Ambainis, Ashwin Nayak, Amnon Ta-Shma, Umesh V. Vazirani. Dense quantum coding and quantum finite automata
512 -- 537David A. McAllester. On the complexity analysis of static analyses
538 -- 576Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter. Formal verification of standards for distance vector routing protocols
runs on