Masahiko Sakai

Available identifiers

zbMath Open sakai.masahikoMaRDI QIDQ407554

List of research outcomes

Publication	Date of Publication	Type
Semantics and strong sequentially of priority term rewriting systems	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4994129	2021-06-17	Paper
Inverse Unfold Problem and Its Heuristic Solving	2019-10-24	Paper
A parse-based framework for coupled rhythm quantization and score structuring	2019-10-17	Paper
Conditions for confluence of innermost terminating term rewriting systems	2019-08-27	Paper
Term rewriting with prefix context constraints and bottom-up strategies	2015-12-02	Paper
Non-\(E\)-overlapping, weakly shallow, and non-collapsing TRSs are confluent	2015-12-02	Paper
Completion after program inversion of injective functions	2014-07-22	Paper
Undecidable properties on length-two string rewriting systems	2014-01-24	Paper
Decidability of innermost termination and context-sensitive termination for semi-constructor term rewriting systems	2014-01-24	Paper
Transformation for refining unraveled conditional term rewriting systems	2013-12-06	Paper
Improving determinization of grammar programs for program inversion	2013-09-13	Paper
Narrowing-based simulation of term rewriting systems with extra variables and its termination proof	2013-08-27	Paper
Determinization of conditional term rewriting systems	2013-01-07	Paper
Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity	2012-08-15	Paper
Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity	2012-04-24	Paper
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent	2012-03-27	Paper
Controlled term rewriting	2011-10-07	Paper
Proving injectivity of functions via program inversion in term rewriting	2010-05-04	Paper
Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems	2008-09-25	Paper
Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems	2008-08-28	Paper
Enhancing dependency pair method using strong computability in simply-typed term rewriting	2007-11-19	Paper
Term Rewriting and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4409161	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4505381	2000-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4705608	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4705607	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4253324	1999-11-08	Paper
Semantics and strong sequentiality of priority term rewriting systems	1999-01-12	Paper

Research outcomes over time

This page was built for person: Masahiko Sakai