Implementation and Application of Automata

Overview of attention for book

Springer International Publishing

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 205 followers.

@ryandcotterell Regular tree languages are generated by tree automata. So maybe this paper might be interesting: https://t.co/HtaJEQC6v3

Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs https://t.co/6RDJ7NtRVn

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.