%0 Conference Paper %1 conf/issac/HentzelJ88 %A Hentzel, Irvin Roy %A Jacobs, David Pokrass %B ISSAC %D 1988 %E Gianni, Patrizia M. %I Springer %K dblp %P 496-507 %T Verification of Non-Identities in Algebras. %U http://dblp.uni-trier.de/db/conf/issac/issac88.html#HentzelJ88 %V 358 %@ 0-387-51084-2

@inproceedings{conf/issac/HentzelJ88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Hentzel, Irvin Roy and Jacobs, David Pokrass}, biburl = {https://www.bibsonomy.org/bibtex/22765d61a3d9a2fda60c903db47ad3fb0/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/1988}, editor = {Gianni, Patrizia M.}, ee = {https://doi.org/10.1007/3-540-51084-2_48}, interhash = {f7ca4a9d02a347a8ce588a357c6ccfdd}, intrahash = {2765d61a3d9a2fda60c903db47ad3fb0}, isbn = {0-387-51084-2}, keywords = {dblp}, pages = {496-507}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:13:19.000+0200}, title = {Verification of Non-Identities in Algebras.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac88.html#HentzelJ88}, volume = 358, year = 1988 }