Locality Transfer: From Constrained Axiomatizations to Reachability Predicates.

Matthias Horbach, Viorica Sofronie-Stokkermans

Browse the full CADE paper archive.