default search action
BibTeX records: Masako Takahashi
@article{DBLP:journals/tcs/Dezani-CiancagliniOT02, author = {Mariangiola Dezani{-}Ciancaglini and Mitsuhiro Okada and Masako Takahashi}, title = {Theories of Types and Proofs 1997 - Preface}, journal = {Theor. Comput. Sci.}, volume = {272}, number = {1-2}, pages = {1--2}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(00)00345-5}, doi = {10.1016/S0304-3975(00)00345-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniOT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/Takahashi01, author = {Masako Takahashi}, title = {Lambda-Representable Functions Over Term Algebras}, journal = {Int. J. Found. Comput. Sci.}, volume = {12}, number = {1}, pages = {3--29}, year = {2001}, url = {https://doi.org/10.1142/S0129054101000394}, doi = {10.1142/S0129054101000394}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/Takahashi01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/KimotoT00, author = {Masahiro Kimoto and Masako Takahashi}, editor = {Jifeng He and Masahiko Sato}, title = {On Computable Tree Functions}, booktitle = {Advances in Computing Science - {ASIAN} 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1961}, pages = {273--289}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44464-5\_20}, doi = {10.1007/3-540-44464-5\_20}, timestamp = {Mon, 21 Mar 2022 11:35:02 +0100}, biburl = {https://dblp.org/rec/conf/asian/KimotoT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/Takahashi98, author = {Masako Takahashi}, editor = {Masahiko Sato and Yoshihito Toyama}, title = {Lambda-representable Functions over Free Structures Revisited}, booktitle = {Third Fuji International Symposium on Functional and Logic Programming, {FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998}, pages = {1--19}, publisher = {World Scientific, Singapore}, year = {1998}, timestamp = {Tue, 30 Jul 2019 10:47:11 +0200}, biburl = {https://dblp.org/rec/conf/flops/Takahashi98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/TakahashiAH96, author = {Masako Takahashi and Yohji Akama and Sachio Hirokawa}, title = {Normal Proofs and Their Grammar}, journal = {Inf. Comput.}, volume = {125}, number = {2}, pages = {144--153}, year = {1996}, url = {https://doi.org/10.1006/inco.1996.0027}, doi = {10.1006/INCO.1996.0027}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/TakahashiAH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Takahashi95, author = {Masako Takahashi}, title = {Parallel Reductions in lambda-Calculus}, journal = {Inf. Comput.}, volume = {118}, number = {1}, pages = {120--127}, year = {1995}, url = {https://doi.org/10.1006/inco.1995.1057}, doi = {10.1006/INCO.1995.1057}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Takahashi95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/KurataT95, author = {Toshihiko Kurata and Masako Takahashi}, editor = {Mariangiola Dezani{-}Ciancaglini and Gordon D. Plotkin}, title = {Decidable Properties of Intersection Type Systems}, booktitle = {Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK, April 10-12, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {902}, pages = {297--311}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0014060}, doi = {10.1007/BFB0014060}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/tlca/KurataT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Takahashi94, author = {Masako Takahashi}, editor = {Neil D. Jones and Masami Hagiya and Masahiko Sato}, title = {A Simple Proof of the Genericity Lemma}, booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu}, series = {Lecture Notes in Computer Science}, volume = {792}, pages = {117--118}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0032397}, doi = {10.1007/BFB0032397}, timestamp = {Fri, 17 Jul 2020 16:12:48 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Takahashi94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacs/TakahashiAH94, author = {Masako Takahashi and Yohji Akama and Sachio Hirokawa}, editor = {Masami Hagiya and John C. Mitchell}, title = {Normal Proofs and Their Grammar}, booktitle = {Theoretical Aspects of Computer Software, International Conference {TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {789}, pages = {465--493}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-57887-0\_111}, doi = {10.1007/3-540-57887-0\_111}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacs/TakahashiAH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/Takahashi93, author = {Masako Takahashi}, editor = {Marc Bezem and Jan Friso Groote}, title = {Lambda-Calculi with Conditional Rules}, booktitle = {Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, {TLCA} '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {664}, pages = {406--417}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/BFb0037121}, doi = {10.1007/BFB0037121}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/tlca/Takahashi93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/Takahashi89, author = {Masako Takahashi}, title = {Parallel Reductions in lambda-Calculus}, journal = {J. Symb. Comput.}, volume = {7}, number = {2}, pages = {113--123}, year = {1989}, url = {https://doi.org/10.1016/S0747-7171(89)80045-8}, doi = {10.1016/S0747-7171(89)80045-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/Takahashi89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Takahashi87, author = {Masako Takahashi}, title = {Brzozowski Hierarchy of omega-Languages}, journal = {Theor. Comput. Sci.}, volume = {49}, pages = {1--12}, year = {1987}, url = {https://doi.org/10.1016/0304-3975(87)90097-1}, doi = {10.1016/0304-3975(87)90097-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Takahashi87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Takahashi86, author = {Masako Takahashi}, title = {The Greatest Fixed-Points and Rational Omega-Tree Languages}, journal = {Theor. Comput. Sci.}, volume = {44}, pages = {259--274}, year = {1986}, url = {https://doi.org/10.1016/0304-3975(86)90123-4}, doi = {10.1016/0304-3975(86)90123-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Takahashi86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/YamasakiTK86, author = {Hideki Yamasaki and Masako Takahashi and Kojiro Kobayashi}, title = {Characterization of omega-Regular Languages by Monadic Second-Order Formulas}, journal = {Theor. Comput. Sci.}, volume = {46}, number = {3}, pages = {91--99}, year = {1986}, url = {https://doi.org/10.1016/0304-3975(86)90024-1}, doi = {10.1016/0304-3975(86)90024-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/YamasakiTK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KobayashiTY84, author = {Kojiro Kobayashi and Masako Takahashi and Hideki Yamasaki}, title = {Characterization of omega-Regular Languages by First-Order Formulas}, journal = {Theor. Comput. Sci.}, volume = {28}, pages = {315--327}, year = {1984}, url = {https://doi.org/10.1016/0304-3975(83)90027-0}, doi = {10.1016/0304-3975(83)90027-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/KobayashiTY84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/YamasakiT84, author = {Hideki Yamasaki and Masako Takahashi}, title = {Generalized Parenthesis Languages and Minimization of their Parenthesis Parts}, journal = {Theor. Comput. Sci.}, volume = {31}, pages = {1--11}, year = {1984}, url = {https://doi.org/10.1016/0304-3975(84)90121-X}, doi = {10.1016/0304-3975(84)90121-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/YamasakiT84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/litp/KobayashiTY84, author = {Kojiro Kobayashi and Masako Takahashi and Hideki Yamasaki}, editor = {Maurice Nivat and Dominique Perrin}, title = {Logical formulas and four subclasses of omega-regular languages}, booktitle = {Automata on Infinite Words, Ecole de Printemps d'Informatique Th{\'{e}}orique, Le Mont Dore, France, May 14-18, 1984}, series = {Lecture Notes in Computer Science}, volume = {192}, pages = {81--88}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-15641-0\_25}, doi = {10.1007/3-540-15641-0\_25}, timestamp = {Fri, 17 Jul 2020 16:12:48 +0200}, biburl = {https://dblp.org/rec/conf/litp/KobayashiTY84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Takahashi83, author = {Masako Takahashi}, title = {Nest Sets and Relativized Closure Properties}, journal = {Theor. Comput. Sci.}, volume = {22}, pages = {253--264}, year = {1983}, url = {https://doi.org/10.1016/0304-3975(83)90106-8}, doi = {10.1016/0304-3975(83)90106-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Takahashi83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/TakahashiY83, author = {Masako Takahashi and Hideki Yamasaki}, title = {A Note on omega-Regular Languages}, journal = {Theor. Comput. Sci.}, volume = {23}, pages = {217--225}, year = {1983}, url = {https://doi.org/10.1016/0304-3975(83)90057-9}, doi = {10.1016/0304-3975(83)90057-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/TakahashiY83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Takahashi77, author = {Masako Takahashi}, editor = {Arto Salomaa and Magnus Steinby}, title = {Rational relations of Binary Trees}, booktitle = {Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {52}, pages = {524--538}, publisher = {Springer}, year = {1977}, url = {https://doi.org/10.1007/3-540-08342-1\_41}, doi = {10.1007/3-540-08342-1\_41}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Takahashi77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Takahashi75, author = {Masako Takahashi}, title = {Generalizations of Regular Sets and Their Applicatin to a Study of Context-Free Languages}, journal = {Inf. Control.}, volume = {27}, number = {1}, pages = {1--36}, year = {1975}, url = {https://doi.org/10.1016/S0019-9958(75)90058-3}, doi = {10.1016/S0019-9958(75)90058-3}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Takahashi75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/JoshiLT75, author = {Aravind K. Joshi and Leon S. Levy and Masako Takahashi}, title = {Tree Adjunct Grammars}, journal = {J. Comput. Syst. Sci.}, volume = {10}, number = {1}, pages = {136--163}, year = {1975}, url = {https://doi.org/10.1016/S0022-0000(75)80019-5}, doi = {10.1016/S0022-0000(75)80019-5}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/JoshiLT75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/JoshiLT72, author = {Aravind K. Joshi and Leon S. Levy and Masako Takahashi}, editor = {Maurice Nivat}, title = {A Tree Generating System}, booktitle = {Automata, Languages and Programming, Colloquium, Paris, France, July 3-7, 1972}, pages = {453--465}, publisher = {North-Holland, Amsterdam}, year = {1972}, timestamp = {Mon, 08 Jul 2019 10:59:18 +0200}, biburl = {https://dblp.org/rec/conf/icalp/JoshiLT72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Takahashi72, author = {Masako Takahashi}, editor = {Maurice Nivat}, title = {Primitive Tranformations of Regular Sets and Recognizable Sets}, booktitle = {Automata, Languages and Programming, Colloquium, Paris, France, July 3-7, 1972}, pages = {475--480}, publisher = {North-Holland, Amsterdam}, year = {1972}, timestamp = {Mon, 08 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Takahashi72.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.