Recursive proofs for inductive tree data-structures
Work
Year: 2012
Type: article
Institution University of Illinois Urbana-Champaign
Cites: 17
Cited by: 34
Related to: 10
FWCI: 6.86
Citation percentile (by year/subfield): 93.51
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed