Recursive Graph Deduction and Reachability Queries

Yangjun Chen. Recursive Graph Deduction and Reachability Queries. In Hamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo, editors, Proceedings of the 2010 International Conference on Foundations of Computer Science, FCS 2010, July 12-15, 2010, Las Vegas, Nevada, USA. pages 125-131, CSREA Press, 2010.

Abstract

Abstract is missing.