%0 Journal Article %1 journals/ieicetd/SendaTS21 %A Senda, Ryoma %A Takata, Yoshiaki %A Seki, Hiroyuki %D 2021 %J IEICE Trans. Inf. Syst. %K dblp %N 3 %P 370-380 %T Forward Regularity Preservation Property of Register Pushdown Systems. %U http://dblp.uni-trier.de/db/journals/ieicetd/ieicetd104.html#SendaTS21 %V 104-D

@article{journals/ieicetd/SendaTS21, added-at = {2021-05-17T00:00:00.000+0200}, author = {Senda, Ryoma and Takata, Yoshiaki and Seki, Hiroyuki}, biburl = {https://www.bibsonomy.org/bibtex/211bf0a1fc5795546d439874677c5689d/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e104-d_3_370}, interhash = {d7a3ad07c0715a684f76704be255c5f5}, intrahash = {11bf0a1fc5795546d439874677c5689d}, journal = {IEICE Trans. Inf. Syst.}, keywords = {dblp}, number = 3, pages = {370-380}, timestamp = {2024-04-09T02:23:24.000+0200}, title = {Forward Regularity Preservation Property of Register Pushdown Systems.}, url = {http://dblp.uni-trier.de/db/journals/ieicetd/ieicetd104.html#SendaTS21}, volume = {104-D}, year = 2021 }