EasyChair Smart SlideDocs/Log in
Author: Dorel Lucanu

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

Proving Reachability Properties by Coinduction

Proving Reachability Properties by Coinduction

Dorel Lucanu

A Coinductive Approach to Proving Reachability in Logically Constrained Term Rewriting Systems

A Coinductive Approach to Proving Reachability in Logically Constrained Term Rewriting Systems

Stefan Ciobaca and Dorel Lucanu

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