EasyChair Smart SlideUser guide
Author: Yoshiaki Kanazawa

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

On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems

On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems

Yoshiaki Kanazawa and Naoki Nishida

Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs

Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs

Naoki Nishida, Yuta Tsuruta and Yoshiaki Kanazawa

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