Tsubasa Sakata

From MaRDI portal

Revision as of 09:23, 5 September 2024 by Import240905100917 (talk | contribs) (Created automatically from import240905100917)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:5200102

Jump to:navigation, search

Available identifiers

zbMath Open sakata.tsubasaMaRDI QIDQ5200102

List of research outcomes

Publication	Date of Publication	Type
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs	2011-07-29	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: Tsubasa Sakata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:5200102&oldid=37666717"