Nao Hirokawa

Available identifiers

zbMath Open hirokawa.naoWikidataQ102398177 ScholiaQ102398177MaRDI QIDQ352957

List of research outcomes

Publication	Date of Publication	Type
Weighted Path Orders Are Semantic Path Orders	2024-05-03	Paper
Left-Linear Completion with AC Axioms	2024-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q6192005	2024-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q6159916	2023-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4993364	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q5111315	2020-05-26	Paper
Confluence by critical pair analysis revisited	2020-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5232901	2019-09-13	Paper
AC-KBO revisited	2017-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5277880	2017-07-12	Paper
Confluence Competition 2015	2015-12-02	Paper
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems	2015-12-02	Paper
A New and Formalized Proof of Abstract Completion	2014-09-08	Paper
AC-KBO Revisited	2014-07-24	Paper
Automated Complexity Analysis Based on Context-Sensitive Rewriting	2014-07-24	Paper
Uncurrying for termination and complexity	2013-07-05	Paper
Decreasing diagrams and relative termination	2012-07-31	Paper
Decreasing Diagrams and Relative Termination	2010-09-14	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
KBO orientability	2010-02-01	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
Complexity, Graphs, and the Dependency Pair Method	2009-01-27	Paper
Uncurrying for Termination	2009-01-27	Paper
Automated Complexity Analysis Based on the Dependency Pair Method	2008-11-27	Paper
Predictive Labeling	2008-09-25	Paper
Constraints for Argument Filterings	2008-03-07	Paper
Tyrolean termination tool: techniques and features	2007-04-16	Paper
Term Rewriting and Applications	2005-11-11	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
Automating the dependency pair method	2005-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4447241	2004-02-16	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: Nao Hirokawa