%0 Journal Article %1 journals/ndjfl/Fowler78 %A III, Northrup Fowler %D 1978 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 693-701 %T Effective inner product spaces. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl19.html#Fowler78 %V 19

@article{journals/ndjfl/Fowler78, added-at = {2020-05-21T00:00:00.000+0200}, author = {III, Northrup Fowler}, biburl = {https://www.bibsonomy.org/bibtex/24060664975cb06e4d83308f0cb9ba7c1/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093888521}, interhash = {6a20be1472634a22f01bdaee945346a3}, intrahash = {4060664975cb06e4d83308f0cb9ba7c1}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {693-701}, timestamp = {2020-05-23T12:16:23.000+0200}, title = {Effective inner product spaces.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl19.html#Fowler78}, volume = 19, year = 1978 }