EasyChair Smart SlideDocs/Log in
Author: Stefan Ciobaca

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

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics

Stefan Ciobaca and Sebastian Buruiana

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