Nao Hirokawa

Available identifiers

zbMath Open hirokawa.naoWikidataQ102398177 ScholiaQ102398177MaRDI QIDQ352957

List of research outcomes

Publication	Date of Publication	Type
Hydra battles and AC termination	2024-10-21	Paper
Compositional confluence criteria	2024-05-27	Paper
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

This page was built for person: Nao Hirokawa