%0 Conference Paper %1 conf/issac/CantoneCF88 %A Cantone, Domenico %A Cutello, Vincenzo %A Ferro, Alfredo %B ISSAC %D 1988 %E Gianni, Patrizia M. %I Springer %K dblp %P 407-422 %T Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. %U http://dblp.uni-trier.de/db/conf/issac/issac88.html#CantoneCF88 %V 358 %@ 0-387-51084-2

@inproceedings{conf/issac/CantoneCF88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Cantone, Domenico and Cutello, Vincenzo and Ferro, Alfredo}, biburl = {https://www.bibsonomy.org/bibtex/26cc5cdc79bc6272c8e288739fc50636f/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/1988}, editor = {Gianni, Patrizia M.}, ee = {https://doi.org/10.1007/3-540-51084-2_39}, interhash = {93e26efd1051d51ab9cdedda502e5377}, intrahash = {6cc5cdc79bc6272c8e288739fc50636f}, isbn = {0-387-51084-2}, keywords = {dblp}, pages = {407-422}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:13:19.000+0200}, title = {Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac88.html#CantoneCF88}, volume = 358, year = 1988 }