A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes.

Naoki Kobayashi

Browse the full FOSSACS paper archive.