EasyChair Smart SlideDocs/Log in
Author: Takumi Kato

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

On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms

On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms

Naoki Nishida, Misaki Kojima and Takumi Kato

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