Paper: On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees (at LICS 1987)
Authors: Wolfgang ThomasAbstract
No Abstract Available
BibTeX
@InProceedings{Thomas-OnChainLogicPathLog, author = {Wolfgang Thomas}, title = {On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {245--256}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }