Paper: Completeness of a Relational Calculus for Program Schemes (at LICS 1998)
Authors: Marcelo F. Frias Roger D. MadduxAbstract
No Abstract Available
BibTeX
@InProceedings{FriasMaddux-CompletenessofaRela, author = {Marcelo F. Frias and Roger D. Maddux}, title = {Completeness of a Relational Calculus for Program Schemes}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {127-134}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }