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
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent	2015-12-02	Paper
Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies	2015-12-02	Paper
Completion after Program Inversion of Injective Functions	2014-07-22	Paper
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems	2014-01-24	Paper
Undecidable Properties on Length-Two String 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
https://portal.mardi4nfdi.de/entity/Q2844056	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/Q4705607	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4705608	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

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: Masahiko Sakai