%0 Conference Paper %1 conf/aplas/KawataA015 %A Kawata, Sadaaki %A Asada, Kazuyuki %A Kobayashi, Naoki %B APLAS %D 2015 %E Feng, Xinyu %E Park, Sungwoo %I Springer %K dblp %P 313-331 %T Decision Algorithms for Checking Definability of Order-2 Finitary PCF. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2015.html#KawataA015 %V 9458 %@ 978-3-319-26528-5

@inproceedings{conf/aplas/KawataA015, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kawata, Sadaaki and Asada, Kazuyuki and Kobayashi, Naoki}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e763f72bc37ddc1598bba16a62c9c9ae/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2015}, editor = {Feng, Xinyu and Park, Sungwoo}, ee = {https://doi.org/10.1007/978-3-319-26529-2_17}, interhash = {54f67e4c5bfb831a4ef7809f08d80199}, intrahash = {e763f72bc37ddc1598bba16a62c9c9ae}, isbn = {978-3-319-26528-5}, keywords = {dblp}, pages = {313-331}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:13:17.000+0200}, title = {Decision Algorithms for Checking Definability of Order-2 Finitary PCF.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2015.html#KawataA015}, volume = 9458, year = 2015 }