%0 Journal Article %1 journals/jlp/Emden86 %A van Emden, Maarten H. %D 1986 %J J. Log. Program. %K dblp %N 1 %P 37-53 %T Quantitative Deduction and its Fixpoint Theory. %U http://dblp.uni-trier.de/db/journals/jlp/jlp3.html#Emden86 %V 3

@article{journals/jlp/Emden86, added-at = {2021-02-17T00:00:00.000+0100}, author = {van Emden, Maarten H.}, biburl = {https://www.bibsonomy.org/bibtex/26a2b0b39a5edc080ad55c1ffb7931f98/dblp}, ee = {https://doi.org/10.1016/0743-1066(86)90003-8}, interhash = {6b53c24299dc23dc9f105248d10d258c}, intrahash = {6a2b0b39a5edc080ad55c1ffb7931f98}, journal = {J. Log. Program.}, keywords = {dblp}, number = 1, pages = {37-53}, timestamp = {2024-04-08T10:51:06.000+0200}, title = {Quantitative Deduction and its Fixpoint Theory.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp3.html#Emden86}, volume = 3, year = 1986 }