| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{Schpp-PointerProgramsandU,
author = {Martin Hofmann and Ulrich Schöpp},
title = {Pointer Programs and Undirected Reachability},
booktitle = {Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009)},
year = {2009},
month = {August},
pages = {133--142},
location = {Los Angeles, California, USA},
publisher = {IEEE Computer Society Press}
}