%0 Conference Paper %1 conf/tphol/Cruz-FilipeW04 %A Cruz-Filipe, Luís %A Wiedijk, Freek %B TPHOLs %D 2004 %E Slind, Konrad %E Bunker, Annette %E Gopalakrishnan, Ganesh %I Springer %K dblp %P 66-81 %T Hierarchical Reflection. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2004.html#Cruz-FilipeW04 %V 3223 %@ 3-540-23017-3

@inproceedings{conf/tphol/Cruz-FilipeW04, added-at = {2018-11-02T00:00:00.000+0100}, author = {Cruz-Filipe, Luís and Wiedijk, Freek}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23e56ee1481f89cd62e7d1ba2aeeaa505/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2004}, editor = {Slind, Konrad and Bunker, Annette and Gopalakrishnan, Ganesh}, ee = {https://doi.org/10.1007/978-3-540-30142-4_5}, interhash = {5ac587e29cd6199cd62443e46111ff90}, intrahash = {3e56ee1481f89cd62e7d1ba2aeeaa505}, isbn = {3-540-23017-3}, keywords = {dblp}, pages = {66-81}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:18:46.000+0200}, title = {Hierarchical Reflection.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2004.html#Cruz-FilipeW04}, volume = 3223, year = 2004 }