New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols (2003)

Cached

Download Links

by H. Comon-Lundh , V. Cortier
Citations:42 - 18 self