| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{KotekSimkusVeithZul-ExtendingALCQIOwith,
author = {Tomer Kotek and Mantas Simkus and Helmut Veith and Florian Zuleger},
title = {Extending ALCQIO with Trees},
booktitle = {Proceedings of the Thirtieth Annual IEEE Symposium on Logic in Computer Science (LICS 2015)},
year = {2015},
month = {July},
pages = {511--522},
location = {Kyoto, Japan},
publisher = {IEEE Computer Society Press}
}