Paper accepted at IJCAR 2018!

The paper  A Coinductive Approach to Proving Reachability in Logically Constrained Term Rewriting Systems, by Stefan Ciobaca and Dorel Lucanu, was accepted at IJCAR 2018

Sidebar