DMCA

Satisfiability of a spatial logic with tree variables (2007)

by Emmanuel Filiot , Jean-marc Talbot , Sophie Tison
Venue:In Proc. 21st Int. Workshop on Computer Science Logic (CSL
Citations:8 - 1 self