Uncategorized

Paper accepted at FM 2019!

The paper Unification in Matching Logic, by Andrei Arusoaie and Dorel Lucanu, was accepted at FM 2019!  

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