EasyChair Smart SlideDocs/Log in
Author: Nao Hirokawa

This page shows all presentations of this author published in EasyChair Smart Slide.

Left-Linear Completion with AC Axioms

Left-Linear Completion with AC Axioms

Johannes Niederhauser, Nao Hirokawa and Aart Middeldorp

Hydra Battles and AC Termination

Hydra Battles and AC Termination

Nao Hirokawa and Aart Middeldorp

Confluence by Critical Pair Analysis Revisited

Confluence by Critical Pair Analysis Revisited

Nao Hirokawa, Julian Nagele, Vincent Van Oostrom and Michio Oyamaguchi

IWC Business Meeting

IWC Business Meeting

Nao Hirokawa and Aart Middeldorp

Cops and CoCoWeb: Infrastructure for Confluence Tools

Cops and CoCoWeb: Infrastructure for Confluence Tools

Nao Hirokawa, Julian Nagele and Aart Middeldorp

Confluence Competition 2018

Confluence Competition 2018

Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani and Harald Zankl

Presentations in this collection: 6
Copyright © 2002 – 2024 EasyChair