Cited By
View all- Sano JYamamoto NUeda K(2023)Type Checking Data Structures More Complex than TreesJournal of Information Processing10.2197/ipsjjip.31.11231(112-130)Online publication date: 2023
- Yamamoto NUeda K(2022)Engineering Grammar-Based Type Checking for Graph Rewriting LanguagesIEEE Access10.1109/ACCESS.2022.321791310(114612-114628)Online publication date: 2022
- Krishna SSummers AWies T(2020)Local Reasoning for Global Graph PropertiesProgramming Languages and Systems10.1007/978-3-030-44914-8_12(308-335)Online publication date: 27-Apr-2020
- Show More Cited By