Minami Niwa

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!

PublicationDate of PublicationType
Determinization of inverted grammar programs via context-free expressions
Journal of Logical and Algebraic Methods in Programming
2021-09-03Paper
Improving determinization of grammar programs for program inversion
Logic-Based Program Synthesis and Transformation
2013-09-13Paper


Research outcomes over time


This page was built for person: Minami Niwa