%0 Journal Article %1 journals/ndjfl/NgY20 %A Ng, Keng Meng %A Yu, Hongyuan %D 2020 %J Notre Dame J. Formal Log. %K dblp %N 2 %P 203-225 %T Effective Domination and the Bounded Jump. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl61.html#NgY20 %V 61

@article{journals/ndjfl/NgY20, added-at = {2020-05-21T00:00:00.000+0200}, author = {Ng, Keng Meng and Yu, Hongyuan}, biburl = {https://www.bibsonomy.org/bibtex/27c10bd42b2bfd9fd818a400737171dbd/dblp}, ee = {https://doi.org/10.1215/00294527-2020-0005}, interhash = {cfc875b54d2cb624927a5ff36c1dde3e}, intrahash = {7c10bd42b2bfd9fd818a400737171dbd}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 2, pages = {203-225}, timestamp = {2020-05-23T12:18:36.000+0200}, title = {Effective Domination and the Bounded Jump.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl61.html#NgY20}, volume = 61, year = 2020 }