Naoshi Tabuchi
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Verification of tree-processing programs via higher-order model checking Mathematical Structures in Computer Science | 2016-07-27 | Paper |
| Higher-order multi-parameter tree transducers and recursion schemes for program verification Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Research outcomes over time
This page was built for person: Naoshi Tabuchi
