Paper: A Choppy Logic (at LICS 1986)
Authors: Roni Rosner Amir PnueliAbstract
No Abstract Available
BibTeX
@InProceedings{RosnerPnueli-AChoppyLogic, author = {Roni Rosner and Amir Pnueli}, title = {A Choppy Logic}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {306--313}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }