Paper: Theorem Proving Using Rigid E-Unification Equational Matings (at LICS 1987)
Authors: Jean H. Gallier Stan Raatz Wayne SnyderAbstract
No Abstract Available
BibTeX
@InProceedings{GallierRaatzSnyder-TheoremProvingUsing, author = {Jean H. Gallier and Stan Raatz and Wayne Snyder}, title = {Theorem Proving Using Rigid E-Unification Equational Matings}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {338--346}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }