![](/img/cover-not-exists.png)
A Constructor-Based Reachability Logic for Rewrite Theories
Skeirik, Stephen, Stefanescu, Andrei, Meseguer, José, Fioravanti, Fabio, Gallagher, John P., Proietti, MaurizioVolume:
173
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2020-1926
Date:
March, 2020
File:
PDF, 661 KB
2020