%0 Conference Paper %1 conf/flops/AlvezL10 %A Álvez, Javier %A López-Fraguas, Francisco Javier %B FLOPS %D 2010 %E Blume, Matthias %E Kobayashi, Naoki %E Vidal, Germán %I Springer %K dblp %P 118-133 %T A Complete Axiomatization of Strict Equality. %U http://dblp.uni-trier.de/db/conf/flops/flops2010.html#AlvezL10 %V 6009 %@ 978-3-642-12250-7

@inproceedings{conf/flops/AlvezL10, added-at = {2017-09-16T00:00:00.000+0200}, author = {Álvez, Javier and López-Fraguas, Francisco Javier}, biburl = {https://www.bibsonomy.org/bibtex/2834616aecb2c1af493abdb08dcb400ef/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2010}, editor = {Blume, Matthias and Kobayashi, Naoki and Vidal, Germán}, ee = {https://doi.org/10.1007/978-3-642-12251-4_10}, interhash = {2530b633332630b2c220556583abcf5f}, intrahash = {834616aecb2c1af493abdb08dcb400ef}, isbn = {978-3-642-12250-7}, keywords = {dblp}, pages = {118-133}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:26.000+0200}, title = {A Complete Axiomatization of Strict Equality.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2010.html#AlvezL10}, volume = 6009, year = 2010 }