% Encoding: ISO-8859-1

@Article{BarPerSha61,
  Title           = {On Formal Properties of Simple Phrase Structure Grammars},
  Author          = {Bar-Hillel, Yehoshua and Perles, M. and Shamir, Eli},
  Journal         = {Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung},
  Year            = {1961},
  Date            = {1961-01-01},
  Note            = {Reprinted in Y. Bar-Hillel. (1964). {\em Language and Information: Selected Essays on their Theory and Application}, Addison-Wesley 1964, 116--150},
  Pages           = {143--172},
  Volume          = {14}
}

@Article{Niv68,
  Title           = {Transductions des langages de Chomsky},
  Author          = {Nivat, Maurice},
  Journal         = {Annales de l'institut Fourier},
  Year            = {1968},
  Language        = {French},
  Number          = {1},
  Pages           = {339--455},
  Url             = {http://eudml.org/doc/73950},
  Volume          = {18},

  Publisher       = {Institut Fourier}
}

@Phdthesis{Rou68,
  Title           = {Trees, transducers and transformations},
  Author          = {Rounds, William C.},
  Institution     = {Stanford University},
  Year            = {1968}
}

@Article{Rou70,
  Title           = {Mappings and Grammars on Trees},
  Author          = {Rounds, William C.},
  Journal         = {Mathmatical Systems Theory},
  Year            = {1970},
  Doi             = {10.1007/BF01695769},
  ISSN            = {1433-0490},
  Month           = {Sep},
  Number          = {3},
  Pages           = {257--287},
  Volume          = {4},

  Publisher       = {Springer Science + Business Media}
}

@Article{Tha70,
  Title           = {Generalized˛ sequential machine maps},
  Author          = {Thatcher, James W.},
  Journal         = {Journal of Computer and System Sciences},
  Year            = {1970},
  Doi             = {10.1016/s0022-0000(70)80017-4},
  ISSN            = {0022-0000},
  Month           = {Aug},
  Number          = {4},
  Pages           = {339--367},
  Volume          = {4},

  Publisher       = {Elsevier BV}
}

@Article{Eng75,
  author          = {Engelfriet, Joost},
  journal         = {Mathmatical systems theory},
  title           = {Bottom-up and top-down tree transformations -- a comparison},
  year            = {1975},
  volume          = {9},
  number          = {2},
  pages           = {198--231},
  issn            = {0025-5661},
  doi             = {10.1007/BF01704020},
  publisher       = {Springer-Verlag}
}

@Techreport{Eng75a,
  Title           = {Tree Automata and Tree Grammars},
  Author          = {Engelfriet, Joost},
  Institution     = {Aarhus University},
  Year            = {1975},
  Number          = {DAIMI FN-10},

  File            = {Eng75a.pdf:Eng75a.pdf:PDF}
}

@Article{Eng76,
  Title           = {Top-down tree transducers with regular look-ahead},
  Author          = {Engelfriet, Joost},
  Journal         = {Mathmatical systems theory},
  Year            = {1976},
  Doi             = {10.1007/BF01683280},
  ISSN            = {0025-5661},
  Number          = {1},
  Pages           = {289--303},
  Volume          = {10},

  Publisher       = {Springer-Verlag}
}

@Article{Bak79,
  Title           = {Composition of top-down and bottom-up tree transductions},
  Author          = {Baker, Brenda S.},
  Journal         = {Information and Control},
  Year            = {1979},
  Doi             = {10.1016/S0019-9958(79)90561-8},
  ISSN            = {0019-9958},
  Number          = {2},
  Pages           = {186--213},
  Url             = {http://www.sciencedirect.com/science/article/pii/S0019995879905618},
  Volume          = {41}
}

@Article{Eng82,
  Title           = {Three hierarchies of transducers},
  Author          = {Engelfriet, Joost},
  Journal         = {Mathmatical systems theory},
  Year            = {1982},
  Doi             = {10.1007/BF01786975},
  ISSN            = {0025-5661},
  Number          = {1},
  Pages           = {95--125},
  Volume          = {15},

  Publisher       = {Springer-Verlag}
}

@Book{GecSte84,
  Title           = {Tree Automata},
  Author          = {Gécseg, Ferenc and Steinby, Magnus},
  Year            = {1984},
  Editor          = {Tracy Dunkelberger},
  ISBN            = {963-05-3170-4},
  Publisher       = {Akadéniai Kiadó, Budapest, Hungary}
}

@Article{Der87,
  Title           = {Termination of rewriting},
  Author          = {Dershowitz, Nachum},
  Journal         = {Journal of Symbolic Computation},
  Year            = {1987},
  Doi             = {10.1016/s0747-7171(87)80022-6},
  ISSN            = {0747-7171},
  Month           = {Feb},
  Number          = {1--2},
  Pages           = {69--115},
  Volume          = {3},

  Publisher       = {Elsevier BV}
}

@Incollection{DerJou90,
  Title           = {Rewrite systems},
  Author          = {Dershowitz, Nachum and Jouannaud, Jean-Pierre},
  Booktitle       = {Handbook of Theoretical Computer Science (Vol. B)},
  Editor          = {van Leeuwen, Jan},
  Year            = {1990},
  ISBN            = {0-444-88074-7},
  Pages           = {243--320},
  Publisher       = {MIT Press},
  Url             = {http://dl.acm.org/citation.cfm?id=114891.114897},

  Acmid           = {114897},
  Address         = {Cambridge, MA, USA},
  Numpages        = {78}
}

@Article{GecSte97,
  Title           = {Tree Languages},
  Author          = {Gécseg, Ferenc and Steinby, Magnus},
  Journal         = {Handbook of Formal Languages},
  Year            = {1997},
  Doi             = {10.1007/978-3-642-59126-6_1},
  Pages           = {1--68},

  ISBN            = {978-3-642-59126-6},
  Publisher       = {Springer Science + Business Media}
}

@Book{BaaNip98,
  Title           = {Term rewriting and all that},
  Author          = {Baader, Franz and Nipkow, Tobias},
  Year            = {1998},
  ISBN            = {0-521-45520-0},
  Publisher       = {Cambridge University Press},

  Address         = {New York, NY, USA}
}

@Book{FuelVog98,
  Title           = {Syntax-Directed Semantics: Formal Models Based on Tree Transducers},
  Author          = {Fülöp, Zoltán and Vogler, Heiko},
  Year            = {1998},
  Doi             = {10.1007/978-3-642-72248-6},
  ISBN            = {978-3-642-72248-6},
  Publisher       = {Springer Berlin Heidelberg},

  ISSN            = {1431-2654},
  Journal         = {Monographs in Theoretical Computer Science An EATCS Series}
}

@Article{Eng15,
  Title           = {Tree Automata and Tree Grammars},
  Author          = {Engelfriet, Joost},
  Journal         = {arXiv},
  Year            = {2015},
  Eprint          = {1510.02036},
  Month           = oct,

  Abstract        = {Lecture notes on tree language theory, in particular recognizable tree languages and finite state tree transformations.},
  Comments        = {76 pages, slightly revised version of lecture notes from 1975},
  Reportno        = {DAIMI FN-10}
}

@Article{GecSte15,
  Title           = {Tree Automata},
  Author          = {Ferenc Gécseg and Magnus Steinby},
  Journal         = {arXiv},
  Year            = {2015},
  Eprint          = {1509.06233},
  Month           = sep,

  Oai2identifier  = {1509.06233}
}