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: | 3 - 3 self |
BibTeX
@INPROCEEDINGS{Avron04safetysignatures,
author = {Arnon Avron},
title = {Safety Signatures for First-order Languages and Their Applications},
booktitle = {In First-Order Logic Revisited (Hendricks et all,, eds.), 37-58, Logos Verlag},
year = {2004},
pages = {37--58},
publisher = {Logos Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
