Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-25 02:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
