%0 Conference Paper %1 conf/tphol/GeuversWZ00 %A Geuvers, Herman %A Wiedijk, Freek %A Zwanenburg, Jan %B TPHOLs %D 2000 %E Aagaard, Mark D. %E Harrison, John %I Springer %K dblp %P 162-178 %T Equational Reasoning via Partial Reflection. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2000.html#GeuversWZ00 %V 1869 %@ 3-540-67863-8

@inproceedings{conf/tphol/GeuversWZ00, added-at = {2017-05-23T00:00:00.000+0200}, author = {Geuvers, Herman and Wiedijk, Freek and Zwanenburg, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2d86675c2fc5f8301624b05cf038b9b50/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2000}, editor = {Aagaard, Mark D. and Harrison, John}, ee = {https://doi.org/10.1007/3-540-44659-1_11}, interhash = {ec8a0289f5e42fef8346f4a216fd116b}, intrahash = {d86675c2fc5f8301624b05cf038b9b50}, isbn = {3-540-67863-8}, keywords = {dblp}, pages = {162-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T11:51:26.000+0200}, title = {Equational Reasoning via Partial Reflection.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2000.html#GeuversWZ00}, volume = 1869, year = 2000 }