Old Web
English
Sign In
Acemap
>
Paper
>
Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743)
Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743)
2021
Hubert Comon
Dexter Kozen
Helmut Seidl
Mosche Y. Vardi
Keywords:
Theoretical computer science
Rewriting
Automaton
Tree (data structure)
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]