BibTeX records: Wooyoung Chin

download as .bib file

@article{DBLP:journals/tamm/Chin20,
  author       = {Wooyoung Chin},
  title        = {A Probabilistic Proof of a Wallis-type Formula for the Gamma Function},
  journal      = {Am. Math. Mon.},
  volume       = {127},
  number       = {1},
  pages        = {75--79},
  year         = {2020},
  url          = {https://doi.org/10.1080/00029890.2020.1668708},
  doi          = {10.1080/00029890.2020.1668708},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tamm/Chin20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KimCPKR14,
  author       = {Se{-}Won Kim and
                  Wooyoung Chin and
                  Jimin Park and
                  Jeongmin Kim and
                  Sukyoung Ryu},
  editor       = {Jacques Garrigue},
  title        = {Inferring Grammatical Summaries of String Values},
  booktitle    = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
                  2014, Singapore, November 17-19, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8858},
  pages        = {372--391},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12736-1\_20},
  doi          = {10.1007/978-3-319-12736-1\_20},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KimCPKR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics