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