Paper: A Step Up in Expressiveness of Decidable Fixpoint Logics (at LICS 2016)
Authors: Michael Benedikt Pierre Bourhis Michael Vanden Boom
Abstract
No Abstract Available
BibTeX
@InProceedings{BenediktBourhisBoom-AStepUpinExpressive, author = {Michael Benedikt and Pierre Bourhis and Michael Vanden Boom}, title = {A Step Up in Expressiveness of Decidable Fixpoint Logics}, booktitle = {Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016)}, year = {2016}, month = {July}, pages = {817--826}, location = {New York City}, publisher = {IEEE Computer Society Press} }