%0 Conference Paper %1 conf/fossacs/Kobayashi11 %A Kobayashi, Naoki %B FoSSaCS %D 2011 %E Hofmann, Martin %I Springer %K dblp %P 260-274 %T A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2011.html#Kobayashi11 %V 6604 %@ 978-3-642-19804-5

@inproceedings{conf/fossacs/Kobayashi11, added-at = {2019-10-19T00:00:00.000+0200}, author = {Kobayashi, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/29fe0d89458edac043c991c7bc583887b/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2011}, editor = {Hofmann, Martin}, ee = {https://doi.org/10.1007/978-3-642-19805-2_18}, interhash = {7335a9da17e20fb62d931368dcad00a4}, intrahash = {9fe0d89458edac043c991c7bc583887b}, isbn = {978-3-642-19804-5}, keywords = {dblp}, pages = {260-274}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:29:50.000+0200}, title = {A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2011.html#Kobayashi11}, volume = 6604, year = 2011 }