Paper: Making Streett Determinization Tight (at LICS 2020)
Authors: Cong Tian Wensheng Wang Zhenhua Duan
Abstract
No Abstract Available
BibTeX
@InProceedings{TianWangDuan-MakingStreettDeterm, author = {Cong Tian and Wensheng Wang and Zhenhua Duan}, title = {Making Streett Determinization Tight}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {859--872}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }