Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Yukihide Takayama
@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} }
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.