Proceedings of the 2nd international workshop on trends in tree automata and tree transducers, TTATT'13, Hanoi, Vietnam, October 19, 2013

DOI10.4204/EPTCS.134MaRDI QIDQ5219916zbMATH OpenOpenAlexFDO

Authors

Publication date 13 March 2020

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1311.5058, http://eptcs.web.cse.unsw.edu.au/content.cgi?TTATT2013

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Formal languages and automata (68Q45)

Abstract: This volume contains the papers that were presented at the second international workshop on Trends in Tree Automata and Transducers (TTATT 2013) which took place on October 19th, 2013 in Hanoi/Vietnam. The workshop was colocated with the verification conference ATVA. The first edition of the workshop was colocated with RTA and took place in Nagoya/Japan. The interest of the workshop lies at the intersection of programming languages, verification, and database theory, which are areas to which tree automata and transducers are applied recently.

Recommendations

• scientific article; zbMATH DE number 3945364
• 7th international conference on language and automata theory and applications (LATA 2013)
• scientific article; zbMATH DE number 1615227
• scientific article; zbMATH DE number 475423
• Basics on tree automata

Cited in

(1)

• VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata

This page was built for publication: Proceedings of the 2nd international workshop on trends in tree automata and tree transducers, TTATT'13, Hanoi, Vietnam, October 19, 2013

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5219916)