Yasuyoshi Inagaki

Available identifiers

Publication	Date of Publication	Type
Algebraic semantics and complexity of term rewriting systems	2022-12-09	Paper
CORRIGENDUM TO "AN INCREMENTAL ALGORITHM FOR CONSTRUCTING SHORTEST WATCHMAN ROUTES"	2001-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4703888	1999-12-01	Paper
AN INCREMENTAL ALGORITHM FOR CONSTRUCTING SHORTEST WATCHMAN ROUTES	1994-05-03	Paper
The intersection searching problem for c-oriented polygons	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3731020	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3347271	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3817565	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3217622	1984-01-01	Paper
The equivalence problem for two dpda's, one of which is a finite-turn or one-counter machine	1981-01-01	Paper
The equivalence problem for real-time strict deterministic languages	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886866	1980-01-01	Paper
A real-time strictness test for deterministic pushdown automata	1980-01-01	Paper
A simplicity test for deterministic pushdown automata	1980-01-01	Paper
Addressable approximations to nonaddressable data graphs	1978-01-01	Paper
A Note on the Linear Space Automata Stability Problem	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4076799	1975-01-01	Paper
Some aspects of linear space automata	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5607594	1968-01-01	Paper

This page was built for person: Yasuyoshi Inagaki