A First-Order Axiomatization of the Theory of Finite Trees (1995)

View PDF

Download Links

by Rolf Backofen , James Rogers , K. Vijay-shanker
Venue:JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
Citations:54 - 3 self