Paper: Proving Boolean Combinations of Deterministic Properties (at LICS 1987)
Authors: Bowen Alpern Fred B. SchneiderAbstract
No Abstract Available
BibTeX
@InProceedings{AlpernSchneider-ProvingBooleanCombi, author = {Bowen Alpern and Fred B. Schneider}, title = {Proving Boolean Combinations of Deterministic Properties}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {131--137}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }