Safety Signatures for First-order Languages and Their Applications (2004)

by Arnon Avron
Venue:In First-Order Logic Revisited (Hendricks et all,, eds.), 37-58, Logos Verlag
Citations:4 - 4 self