BibTeX records: Yukihide Takayama

download as .bib file

@inproceedings{DBLP:conf/caap/Takayama96,
  author       = {Yukihide Takayama},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Extraction of Concurrent Processes from Higher Dimensional Automata},
  booktitle    = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium,
                  Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1059},
  pages        = {72--86},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61064-2\_30},
  doi          = {10.1007/3-540-61064-2\_30},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Takayama96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Takayama94,
  author       = {Yukihide Takayama},
  title        = {Defining Concurrent Processes Constructively},
  journal      = {Theor. Comput. Sci.},
  volume       = {122},
  number       = {1{\&}2},
  pages        = {137--164},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90205-4},
  doi          = {10.1016/0304-3975(94)90205-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Takayama94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HayashiT94,
  author       = {Susumu Hayashi and
                  Yukihide Takayama},
  editor       = {Neil D. Jones and
                  Masami Hagiya and
                  Masahiko Sato},
  title        = {Lifschitz' Logic of Calcubable Numbers and Optimizations in Program
                  Extraction},
  booktitle    = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
  series       = {Lecture Notes in Computer Science},
  volume       = {792},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0032391},
  doi          = {10.1007/BFB0032391},
  timestamp    = {Fri, 17 Jul 2020 16:12:48 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HayashiT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Takayama93,
  author       = {Yukihide Takayama},
  title        = {QPC{\_}2: {A} Constructive Calculus with Parameterized Specifications},
  journal      = {J. Symb. Comput.},
  volume       = {15},
  number       = {5/6},
  pages        = {641--672},
  year         = {1993},
  url          = {https://doi.org/10.1016/S0747-7171(06)80008-8},
  doi          = {10.1016/S0747-7171(06)80008-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Takayama93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Takayama92,
  author       = {Yukihide Takayama},
  title        = {Defining Concurrent Processes Constructively},
  booktitle    = {Proceedings of the International Conference on Fifth Generation Computer
                  Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
  pages        = {658--665},
  publisher    = {{IOS} Press},
  year         = {1992},
  timestamp    = {Wed, 31 Jul 2019 10:45:39 +0200},
  biburl       = {https://dblp.org/rec/conf/fgcs/Takayama92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Takayama91,
  author       = {Yukihide Takayama},
  title        = {Extraction of Redundancy-free Programs from Constructive Natural Deduction
                  Proofs},
  journal      = {J. Symb. Comput.},
  volume       = {12},
  number       = {1},
  pages        = {29--70},
  year         = {1991},
  url          = {https://doi.org/10.1016/S0747-7171(08)80139-3},
  doi          = {10.1016/S0747-7171(08)80139-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Takayama91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Takayama89,
  author       = {Yukihide Takayama},
  editor       = {Joseph E. Stoy},
  title        = {Extended Projection - New Method to Extract Efficient Programs from
                  Constructive Proofs},
  booktitle    = {Proceedings of the fourth international conference on Functional programming
                  languages and computer architecture, {FPCA} 1989, London, UK, September
                  11-13, 1989},
  pages        = {299--312},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/99370.99396},
  doi          = {10.1145/99370.99396},
  timestamp    = {Tue, 06 Nov 2018 11:07:48 +0100},
  biburl       = {https://dblp.org/rec/conf/fpca/Takayama89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Takayama88,
  author       = {Yukihide Takayama},
  editor       = {Harald Ganzinger},
  title        = {{QPC:} QJ-based Proof Compiler - Simple Examples and Analysis},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {49--63},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_4},
  doi          = {10.1007/3-540-19027-9\_4},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Takayama88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Takayama87,
  author       = {Yukihide Takayama},
  title        = {Writing Programs as {QJ} Proof and Compiling into Prolog Programs},
  booktitle    = {Proceedings of the 1987 Symposium on Logic Programming, San Francisco,
                  California, USA, August 31 - September 4, 1987},
  pages        = {278--287},
  publisher    = {{IEEE-CS}},
  year         = {1987},
  timestamp    = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/Takayama87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics