Spatial Congruence for the Ambients is Decidable (2000)

Cached

Download Links

by Silvano Dal Zilio , Silvano Dal Zilio
Venue:In 6th Asian Computing Science Conference (ASIAN’00), volume 1961 of LNCS
Citations:4 - 0 self