Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

Reference no #86   Type :   Html | Bib | Both

Created: 2007-12-12 11:30:27

86 Rolf Backofen, James Rogers and Vijay K. Shanker. A First-Order Axiomatization of the Theory of Finite Trees. In Journal of Logic, Language and Information, Vol. 4(1):5-39, 1995.     google [Annote]

Last modified: Thu October 16 2014 19:11:34