Ryoma Senda
From MaRDI portal
Person:1623151
Available identifiers
zbMath Open senda.ryomaMaRDI QIDQ1623151
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Complexity results on register context-free grammars and related formalisms | 2022-06-13 | Paper |
Reactive synthesis from visibly register pushdown automata | 2022-03-31 | Paper |
Generalized register context-free grammars | 2019-12-04 | Paper |
Complexity results on register context-free grammars and register tree automata | 2018-11-23 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Ryoma Senda