%0 Journal Article %1 journals/ndjfl/Wasserman76a %A Wasserman, Howard C. %D 1976 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 613-614 %T A note on evaluation mappings. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl17.html#Wasserman76a %V 17

@article{journals/ndjfl/Wasserman76a, added-at = {2020-05-21T00:00:00.000+0200}, author = {Wasserman, Howard C.}, biburl = {https://www.bibsonomy.org/bibtex/2d30cb084a5d09acfe40178983e0f77f5/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093887730}, interhash = {0f86e7ace5dee140ce74a316190918de}, intrahash = {d30cb084a5d09acfe40178983e0f77f5}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {613-614}, timestamp = {2020-05-23T12:16:48.000+0200}, title = {A note on evaluation mappings.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl17.html#Wasserman76a}, volume = 17, year = 1976 }