Paper: Logics with Rank Operators (at LICS 2009)
Authors: Anuj Dawar Martin Grohe Bjarki Holm Bastian Laubner
Abstract
No Abstract Available
BibTeX
@InProceedings{DawarGroheHolmLaubn-LogicswithRankOpera, author = {Anuj Dawar and Martin Grohe and Bjarki Holm and Bastian Laubner}, title = {Logics with Rank Operators}, booktitle = {Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009)}, year = {2009}, month = {August}, pages = {113--122}, location = {Los Angeles, California, USA}, publisher = {IEEE Computer Society Press} }