@Article{Backofen_et_al:1995,
AUTHOR = {Backofen, Rolf and Rogers, James and Shanker, Vijay K.},
TITLE = {A First-Order Axiomatization of the Theory of Finite Trees},
YEAR = {1995},
JOURNAL = {Journal of Logic, Language and Information},
VOLUME = {4},
NUMBER = {1},
PAGES = {5-39},
URL = {ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/JOLLI95-trees.dvi.Z ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/JOLLI95-trees.entry ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/JOLLI95-trees.ps.Z},
ANNOTE = {COLIURL : Backofen:1995:FOA.pdf Backofen:1995:FOA.ps Backofen:1995:FOA.dvi}
}
|
