• Title of article

    A characterization of Büchi tree automata

  • Author/Authors

    Jerzy Skurczy ski، نويسنده ,

  • Issue Information
    دوهفته نامه با شماره پیاپی سال 2002
  • Pages
    5
  • From page
    29
  • To page
    33
  • Keywords
    Formal languages , Tree automata , Monadic logic
  • Journal title
    Information Processing Letters
  • Serial Year
    2002
  • Journal title
    Information Processing Letters
  • Record number

    129437