BibTeX records: Satoru Takasu

download as .bib file

@inproceedings{DBLP:conf/ifip/Takasu86,
  author    = {Satoru Takasu},
  editor    = {Hans{-}J{\"{u}}rgen Kugler},
  title     = {Logic and Computation (Panel)},
  booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
               Congress, Dublin, Ireland, September 1-5, 1986},
  pages     = {397--398},
  publisher = {North-Holland/IFIP},
  year      = {1986},
  timestamp = {Sun, 28 Jul 2019 12:54:16 +0200},
  biburl    = {https://dblp.org/rec/conf/ifip/Takasu86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/TakasuN83,
  author    = {Satoru Takasu and
               Takako Nakahara},
  editor    = {R. E. A. Mason},
  title     = {Programming with Mathematical Thinking},
  booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
               Congress, Paris, France, September 19-23, 1983},
  pages     = {419--424},
  publisher = {North-Holland/IFIP},
  year      = {1983},
  timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
  biburl    = {https://dblp.org/rec/conf/ifip/TakasuN83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TakasuK81,
  author    = {Satoru Takasu and
               Sukemitsu Kawabata},
  title     = {A Logical Basis for Programming Methodology},
  journal   = {Theor. Comput. Sci.},
  volume    = {16},
  pages     = {43--60},
  year      = {1981},
  url       = {https://doi.org/10.1016/0304-3975(81)90030-X},
  doi       = {10.1016/0304-3975(81)90030-X},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/TakasuK81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/msi/1978,
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  publisher = {Springer},
  year      = {1979},
  url       = {https://doi.org/10.1007/3-540-09541-1},
  doi       = {10.1007/3-540-09541-1},
  isbn      = {3-540-09541-1},
  timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/1978.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics