DMCA

The Two-Variable Guarded Fragment with Transitive Relations (1999)

Cached

Download Links

by H. Ganzinger , C. Meyer , M. Veanes
Venue:In Proc. LICS'99
Citations:39 - 1 self