Search dblp for Publications

export results for "Akira Kanda"

 download as .bib file

@inproceedings{DBLP:conf/sice/YamaguchiSKY19,
  author       = {Tomoyuki Yamaguchi and
                  Takeshi Shibuya and
                  Masashi Kanda and
                  Akira Yasojima},
  title        = {Crack Inspection Support System for Concrete Structures Using Head
                  Mounted Display in Mixed Reality Space},
  booktitle    = {58th Annual Conference of the Society of Instrument and Control Engineers
                  of Japan, {SICE} 2019, Hiroshima, Japan, September 10-13, 2019},
  pages        = {791--796},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/SICE.2019.8859876},
  doi          = {10.23919/SICE.2019.8859876},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/sice/YamaguchiSKY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ieicet/HeyaMK16,
  author       = {Akira Heya and
                  Naoto Matsuo and
                  Kazuhiro Kanda},
  title        = {Low-Temperature Activation in Boron Ion-Implanted Silicon by Soft
                  X-Ray Irradiation},
  journal      = {{IEICE} Trans. Electron.},
  volume       = {99-C},
  number       = {4},
  pages        = {474--480},
  year         = {2016},
  url          = {https://doi.org/10.1587/transele.E99.C.474},
  doi          = {10.1587/TRANSELE.E99.C.474},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/HeyaMK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ieicet/AsakaKOKYSINY13,
  author       = {Kota Asaka and
                  Atsushi Kanda and
                  Akira Ohki and
                  Takeshi Kurosaki and
                  Ryoko Yoshimura and
                  Hiroaki Sanjoh and
                  Toshio Ito and
                  Makoto Nakamura and
                  Mikio Yoneyama},
  title        = {10 Gb/s {BOSA} Employing Low-Cost {TO} {CAN} Package and Impedance
                  Matching Circuits in Transmitter},
  journal      = {{IEICE} Trans. Electron.},
  volume       = {96-C},
  number       = {7},
  pages        = {989--995},
  year         = {2013},
  url          = {https://doi.org/10.1587/transele.E96.C.989},
  doi          = {10.1587/TRANSELE.E96.C.989},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/AsakaKOKYSINY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ieicet/KandaOKSAYINNOY13,
  author       = {Atsushi Kanda and
                  Akira Ohki and
                  Takeshi Kurosaki and
                  Hiroaki Sanjoh and
                  Kota Asaka and
                  Ryoko Yoshimura and
                  Toshio Ito and
                  Makoto Nakamura and
                  Masafumi Nogawa and
                  Yusuke Ohtomo and
                  Mikio Yoneyama},
  title        = {Small and Low-Cost Dual-Rate Optical Triplexer for {OLT} Transceivers
                  in 10G/1G Co-existing 10G-EPON Systems},
  journal      = {{IEICE} Trans. Electron.},
  volume       = {96-C},
  number       = {7},
  pages        = {996--1002},
  year         = {2013},
  url          = {https://doi.org/10.1587/transele.E96.C.996},
  doi          = {10.1587/TRANSELE.E96.C.996},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/KandaOKSAYINNOY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hci/HoriSKHIMOTHM11,
  author       = {Hiroki Hori and
                  Tomoki Shiomi and
                  Tetsuya Kanda and
                  Akira Hasegawa and
                  Hiromu Ishio and
                  Yasuyuki Matsuura and
                  Masako Omori and
                  Hiroki Takada and
                  Satoshi Hasegawa and
                  Masaru Miyao},
  editor       = {Randall Shumaker},
  title        = {Comparison of Accommodation and Convergence by Simultaneous Measurements
                  during 2D and 3D Vision Gaze},
  booktitle    = {Virtual and Mixed Reality - New Trends - International Conference,
                  Virtual and Mixed Reality 2011, Held as Part of {HCI} International
                  2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6773},
  pages        = {306--314},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22021-0\_34},
  doi          = {10.1007/978-3-642-22021-0\_34},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/HoriSKHIMOTHM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hci/IshioSSKHUSNHMM11,
  author       = {Hiromu Ishio and
                  Shunta Sano and
                  Tomoki Shiomi and
                  Tetsuya Kanda and
                  Hiroki Hori and
                  Keita Uemoto and
                  Asei Sugiyama and
                  Minami Niwa and
                  Akira Hasegawa and
                  Shohei Matsunuma and
                  Masaru Miyao},
  editor       = {Constantine Stephanidis},
  title        = {Visibility Experiment and Evaluation of 3D Character Representation
                  on Mobile Displays},
  booktitle    = {{HCI} International 2011 - Posters' Extended Abstracts - International
                  Conference, {HCI} International 2011, Orlando, FL, USA, July 9-14,
                  2011, Proceedings, Part {II}},
  series       = {Communications in Computer and Information Science},
  volume       = {174},
  pages        = {46--51},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22095-1\_10},
  doi          = {10.1007/978-3-642-22095-1\_10},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/IshioSSKHUSNHMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hci/OmoriSHSKHITHM11,
  author       = {Masako Omori and
                  Asei Sugiyama and
                  Hiroki Hori and
                  Tomoki Shiomi and
                  Tetsuya Kanda and
                  Akira Hasegawa and
                  Hiromu Ishio and
                  Hiroki Takada and
                  Satoshi Hasegawa and
                  Masaru Miyao},
  editor       = {Randall Shumaker},
  title        = {Effect of Weak Hyperopia on Stereoscopic Vision},
  booktitle    = {Virtual and Mixed Reality - New Trends - International Conference,
                  Virtual and Mixed Reality 2011, Held as Part of {HCI} International
                  2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6773},
  pages        = {354--362},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22021-0\_39},
  doi          = {10.1007/978-3-642-22021-0\_39},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/OmoriSHSKHITHM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hci/ShiomiIHTOHMHKM11,
  author       = {Tomoki Shiomi and
                  Hiromu Ishio and
                  Hiroki Hori and
                  Hiroki Takada and
                  Masako Omori and
                  Satoshi Hasegawa and
                  Shohei Matsunuma and
                  Akira Hasegawa and
                  Tetsuya Kanda and
                  Masaru Miyao},
  editor       = {Randall Shumaker},
  title        = {Simultaneous Measurement of Lens Accommodation and Convergence to
                  Real Objects},
  booktitle    = {Virtual and Mixed Reality - New Trends - International Conference,
                  Virtual and Mixed Reality 2011, Held as Part of {HCI} International
                  2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6773},
  pages        = {363--370},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22021-0\_40},
  doi          = {10.1007/978-3-642-22021-0\_40},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/ShiomiIHTOHMHKM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isscc/HidakaGHHJKKMO07,
  author       = {Yasuo Hidaka and
                  Weixin Gai and
                  Akira Hattori and
                  Takeshi Horie and
                  Jian Jiang and
                  Kouichi Kanda and
                  Yoichi Koyanagi and
                  Satoshi Matsubara and
                  Hideki Osone},
  title        = {A 4-Channel 3.1/10.3Gb/s Transceiver Macro with a Pattern-Tolerant
                  Adaptive Equalizer},
  booktitle    = {2007 {IEEE} International Solid-State Circuits Conference, {ISSCC}
                  2007, Digest of Technical Papers, San Francisco, CA, USA, February
                  11-15, 2007},
  pages        = {442--443},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ISSCC.2007.373484},
  doi          = {10.1109/ISSCC.2007.373484},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/isscc/HidakaGHHJKKMO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rsfdgrc/ApostoliK05,
  author       = {Peter Apostoli and
                  Akira Kanda},
  editor       = {Dominik Slezak and
                  Guoyin Wang and
                  Marcin S. Szczuka and
                  Ivo D{\"{u}}ntsch and
                  Yiyu Yao},
  title        = {Proximity Spaces of Exact Sets},
  booktitle    = {Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th
                  International Conference, RSFDGrC 2005, Regina, Canada, August 31
                  - September 3, 2005, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3641},
  pages        = {94--103},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11548669\_10},
  doi          = {10.1007/11548669\_10},
  timestamp    = {Mon, 16 Mar 2020 17:44:10 +0100},
  biburl       = {https://dblp.org/rec/conf/rsfdgrc/ApostoliK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/trs/ApostoliKP04,
  author       = {Peter Apostoli and
                  Akira Kanda and
                  Lech Polkowski},
  title        = {First Steps Towards Computably-Infinite Information Systems},
  journal      = {Trans. Rough Sets},
  volume       = {2},
  pages        = {151--188},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27778-1\_9},
  doi          = {10.1007/978-3-540-27778-1\_9},
  timestamp    = {Wed, 06 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/trs/ApostoliKP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hci/KandaINTH03,
  author       = {Kazuyuki Kanda and
                  Akira Ichikawa and
                  Yuji Nagashima and
                  Mina Terauchi and
                  Daisuke Hara},
  editor       = {Constantine Stephanidis},
  title        = {Non-Manual Signals in Japanese Sign Language},
  booktitle    = {Human-Computer Interaction: Universal Access in {HCI:} Inclusive Design
                  in the Information Society, Proceedings of {HCI} International 2003
                  (the 10th International Conference on Human-Computer Interaction),
                  {HCI} 2003, Crete, Greece, June 22-27, 2003, Volume 4},
  pages        = {216--220},
  publisher    = {Lawrence Erlbaum},
  year         = {2003},
  timestamp    = {Tue, 30 May 2023 17:06:04 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/KandaINTH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rsfdgrc/ApostoliK03,
  author       = {Peter Apostoli and
                  Akira Kanda},
  editor       = {Guoyin Wang and
                  Qing Liu and
                  Yiyu Yao and
                  Andrzej Skowron},
  title        = {Upper and Lower Recursion Schemes in Abstract Approximation Spaces},
  booktitle    = {Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International
                  Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2639},
  pages        = {205--212},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-39205-X\_26},
  doi          = {10.1007/3-540-39205-X\_26},
  timestamp    = {Mon, 16 Mar 2020 17:44:10 +0100},
  biburl       = {https://dblp.org/rec/conf/rsfdgrc/ApostoliK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gw/KandaINKTHS01,
  author       = {Kazuyuki Kanda and
                  Akira Ichikawa and
                  Yuji Nagashima and
                  Yushi Kato and
                  Mina Terauchi and
                  Daisuke Hara and
                  Masanobu Sato},
  editor       = {Ipke Wachsmuth and
                  Timo Sowa},
  title        = {Notation System and Statistical Analysis of {NMS} in {JSL}},
  booktitle    = {Gesture and Sign Languages in Human-Computer Interaction, International
                  Gesture Workshop, {GW} 2001, London, UK, April 18-20, 2001, Revised
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2298},
  pages        = {181--192},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-47873-6\_19},
  doi          = {10.1007/3-540-47873-6\_19},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/gw/KandaINKTHS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rsctc/ApostoliK00,
  author       = {Peter Apostoli and
                  Akira Kanda},
  editor       = {Wojciech Ziarko and
                  Y. Y. Yao},
  title        = {Approximation Spaces of Type-Free Sets},
  booktitle    = {Rough Sets and Current Trends in Computing, Second International Conference,
                  {RSCTC} 2000 Banff, Canada, October 16-19, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2005},
  pages        = {98--105},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45554-X\_11},
  doi          = {10.1007/3-540-45554-X\_11},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rsctc/ApostoliK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/Kanda95,
  author       = {Akira Kanda},
  title        = {Acceptable Numerations of Morphisms and Myhill-Shepherdson Property},
  journal      = {Math. Log. Q.},
  volume       = {41},
  pages        = {39--48},
  year         = {1995},
  url          = {https://doi.org/10.1002/malq.19950410105},
  doi          = {10.1002/MALQ.19950410105},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kanda95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kanda89,
  author       = {Akira Kanda},
  title        = {Retracts of Numerations},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {42},
  number       = {3},
  pages        = {225--242},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90017-1},
  doi          = {10.1016/0168-0072(89)90017-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kanda89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Kanda88,
  author       = {Akira Kanda},
  title        = {Productive sets and constructively nonpartial-recursive functions},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {49--50},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625833},
  doi          = {10.1007/BF01625833},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Kanda88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kanda88,
  author       = {Akira Kanda},
  title        = {Recursion theorems and effective domains},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {38},
  number       = {3},
  pages        = {289--300},
  year         = {1988},
  url          = {https://doi.org/10.1016/0168-0072(88)90029-2},
  doi          = {10.1016/0168-0072(88)90029-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kanda88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/KandaL87,
  author       = {Akira Kanda and
                  Alistair H. Lachlan},
  title        = {Alternative Characterizations of Precomplete Numerations},
  journal      = {Math. Log. Q.},
  volume       = {33},
  number       = {2},
  pages        = {97--100},
  year         = {1987},
  url          = {https://doi.org/10.1002/malq.19870330202},
  doi          = {10.1002/MALQ.19870330202},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/KandaL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/Kanda86,
  author       = {Akira Kanda},
  title        = {Classes of Numeration Models of {\(\lambda\)}-Calculus},
  journal      = {Math. Log. Q.},
  volume       = {32},
  number       = {19-24},
  pages        = {315--322},
  year         = {1986},
  url          = {https://doi.org/10.1002/malq.19860321904},
  doi          = {10.1002/MALQ.19860321904},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kanda86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/Kanda86a,
  author       = {Akira Kanda},
  title        = {Numeration Models of {\(\lambda\)}{\(\beta\)}-Calculus},
  journal      = {Math. Log. Q.},
  volume       = {32},
  number       = {25-30},
  pages        = {409--414},
  year         = {1986},
  url          = {https://doi.org/10.1002/malq.19860322506},
  doi          = {10.1002/MALQ.19860322506},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kanda86a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/Kanda85,
  author       = {Akira Kanda},
  title        = {Numeration Models of {\(\lambda\)}-Calculus},
  journal      = {Math. Log. Q.},
  volume       = {31},
  number       = {14-18},
  pages        = {209--220},
  year         = {1985},
  url          = {https://doi.org/10.1002/malq.19850311402},
  doi          = {10.1002/MALQ.19850311402},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kanda85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/Kanda85a,
  author       = {Akira Kanda},
  title        = {Acceptable Numerations of Function Spaces},
  journal      = {Math. Log. Q.},
  volume       = {31},
  number       = {31-34},
  pages        = {503--508},
  year         = {1985},
  url          = {https://doi.org/10.1002/malq.19850313105},
  doi          = {10.1002/MALQ.19850313105},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kanda85a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Kanda81,
  author       = {Akira Kanda},
  editor       = {Jozef Gruska and
                  Michal Chytil},
  title        = {Constructive Category Theory (No. 1)},
  booktitle    = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
                  Czechoslovakia, August 31 - September 4, 1981, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {118},
  pages        = {563--577},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-10856-4\_125},
  doi          = {10.1007/3-540-10856-4\_125},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kanda81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Kanda80,
  author       = {Akira Kanda},
  title        = {Effective solutions of recursive domain equations},
  school       = {University of Warwick, Coventry, {UK}},
  year         = {1980},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259110},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Kanda80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Kanda79,
  author       = {Akira Kanda},
  editor       = {Jir{\'{\i}} Becv{\'{a}}r},
  title        = {Fully Effective Solutions of Recursive Domain Equations},
  booktitle    = {Mathematical Foundations of Computer Science 1979, Proceedings, 8th
                  Symposium, Olomouc, Czechoslovakia, September 3-7, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {74},
  pages        = {326--336},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-09526-8\_30},
  doi          = {10.1007/3-540-09526-8\_30},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kanda79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tcs/KandaP79,
  author       = {Akira Kanda and
                  David Michael Ritchie Park},
  editor       = {Klaus Weihrauch},
  title        = {When are two Effectively given Domains Identical?},
  booktitle    = {Theoretical Computer Science, 4th GI-Conference, Aachen, Germany,
                  March 26-28, 1979, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {67},
  pages        = {170--181},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-09118-1\_19},
  doi          = {10.1007/3-540-09118-1\_19},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/tcs/KandaP79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Kanda78,
  author       = {Akira Kanda},
  title        = {Data Types as Initial Algebras: {A} unification of Scottery and ADJery
                  (Extended Abstract)},
  booktitle    = {19th Annual Symposium on Foundations of Computer Science, Ann Arbor,
                  Michigan, USA, 16-18 October 1978},
  pages        = {221--230},
  publisher    = {{IEEE} Computer Society},
  year         = {1978},
  url          = {https://doi.org/10.1109/SFCS.1978.12},
  doi          = {10.1109/SFCS.1978.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Kanda78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.