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

Cached

Download Links

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