
Termination Proofs for Logic Programs
Lutz Plümer
₹5,449

by Janos Minarovits, Eva Gonczol, Tibor Valyi-Nagy
Free delivery. Nothing extra to pay at checkout.
This volume provides an overview of the latency strategies developed during the estimated 200,000 year-long coevolution of Alpha-, Beta- and Gammaherpesvirinae and their host species. While the main emphasis is on herpesviruses infecting humans, relevant cases if herpesviruses infecting animals are covered as well.
Description supplied by the publisher.