A Constructor-Based Reachability Logic for Rewrite Theories Stephen Skeirik, Andrei Stefanescu, Jose Meseguer October 10th, 2017

First Page		Document Content
Date: 2017-10-23 05:15:05		A Constructor-Based Reachability Logic for Rewrite Theories Stephen Skeirik, Andrei Stefanescu, Jose Meseguer October 10th, 2017 Add to Reading List Source URL: www.sci.unich.it Download Document from Source Website File Size: 280,48 KB Share Document on Facebook