## Kevin J. Compton, Claude Laflamme

*An Algebra and a Logic for NC¹*

LICS, 1988.

@inproceedings{LICS-1988-ComptonL, author = "Kevin J. Compton and Claude Laflamme", booktitle = "{Proceedings of the Third Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1988.5096", isbn = "0-8186-0853-6", pages = "12--21", publisher = "{IEEE Computer Society}", title = "{An Algebra and a Logic for NC¹}", year = 1988, }