Title of article :
A logical characterization of data languages
Author/Authors :
Patricia Bouyer، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2002
Keywords :
formal languages , real-time systems
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters