EasyChair Smart SlideDocs/Log in
Author: Takahito Aoto

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

Preservation of Rationality in Infinitary Rewriting by Top-down Tree Transducers

Preservation of Rationality in Infinitary Rewriting by Top-down Tree Transducers

Munehiro Iwami and Takahito Aoto

A Fast Decision Procedure for Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems

A Fast Decision Procedure for Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems

Masaomi Yamaguchi and Takahito Aoto

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: 3
Copyright © 2002 – 2024 EasyChair