Automata for unordered trees

Information and Computation - Tập 253 - Trang 304-335 - 2017
Adrien Boiret1,2, Vincent Hugot3,2, Joachim Niehren3,2, Ralf Treinen4
1University of Lille 1, France
2Links (Inria Lille & Cristal, UMR CNRS 9189), France
3INRIA, France
4Univ Paris Diderot, Sorbonne Paris Cité, IRIF, UMR 8243, CNRS, F-75205 Paris, France

Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Information and Computation

Tập 253

304-335

Thông tin tác giả