EasyChair Smart SlideDocs/Log in
Author: Yuya Maeda

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

Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems

Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems

Naoki Nishida and Yuya Maeda

On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions

On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions

Naoki Nishida and Yuya Maeda

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