Paper: A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity (at LICS 2020)
Authors: Clemens Grabmayer Wan J. Fokkink
Abstract
No Abstract Available
BibTeX
@InProceedings{GrabmayerFokkink-ACompleteProofSyste, author = {Clemens Grabmayer and Wan J. Fokkink}, title = {A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {465--478}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }