Toshiki Sakabe

Available identifiers

zbMath Open sakabe.toshikiMaRDI QIDQ1248364

List of research outcomes

Publication	Date of Publication	Type
Nagoya Termination Tool	2014-07-24	Paper
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems	2014-01-24	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
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs	2011-07-29	Paper
Term Rewriting and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4505378	2000-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4505381	2000-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4703888	1999-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q3731020	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3347271	1985-01-01	Paper
Addressable approximations to nonaddressable data graphs	1978-01-01	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: Toshiki Sakabe