Haruhiko Sato
From MaRDI portal
Person:352954
Available identifiers
zbMath Open sato.haruhikoMaRDI QIDQ352954
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion | 2015-12-02 | Paper |
| Multi-completion with termination tools | 2013-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389156 | 2012-04-25 | Paper |
| Multi-completion with Termination Tools (System Description) | 2008-11-27 | Paper |
Research outcomes over time
This page was built for person: Haruhiko Sato
