DMCA

Undecidability of propositional separation logic and its neighbours

by James Brotherston , Max Kanovich
Citations:18 - 7 self