Edit Profile (opens in new tab) Takahashi, Masako Co-Author Distance Author ID: takahashi.masako Published as: Takahashi, Masako External Links: MGP Documents Indexed: 30 Publications since 1965 2 Contributions as Editor Co-Authors: 11 Co-Authors with 15 Joint Publications 216 Co-Co-Authors all top 5 Co-Authors 15 single-authored 7 Yamasaki, Hideki 3 Kobayashi, Kojiro 2 Akama, Yohji 2 Dezani-Ciancaglini, Mariangiola 2 Hirokawa, Sachio 2 Joshi, Aravind K. 2 Levy, Leon S. 1 Kimoto, Masahiro 1 Kurata, Toshihiko 1 Okada, Mitsu 1 Okada, Mitsuhiro 1 Takahashi, Wataru all top 5 Serials 8 Theoretical Computer Science 2 Information and Computation 1 Information and Control 1 Journal of Computer and System Sciences 1 Journal of the Operations Research Society of Japan 1 Journal of Optimization Theory and Applications 1 Journal of Symbolic Computation 1 Sūgaku 1 International Journal of Foundations of Computer Science 1 Proceedings of the Japan Academy 1 Science Reports of the Tokyo Kyoiku Daigaku, Section A 1 MSJ Memoirs Fields 22 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 1 Functional analysis (46-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 185 times in 170 Documents Cited by ▼ Year ▼ Tree adjunct grammars. Zbl 0326.68053 Joshi, Aravind K.; Levy, Leon S.; Takahashi, Masako 53 1975 Parallel reductions in \(\lambda\)-calculus. Zbl 0827.68060 Takahashi, Masako 52 1995 A note on \(\omega\)-regular languages. Zbl 0517.68072 Takahashi, Masako; Yamasaki, Hideki 16 1983 Generalizations of regular sets and their application to a study of context-free languages. Zbl 0291.68031 Takahashi, Masako 14 1975 Parallel reductions in \(\lambda\)-calculus. Zbl 0661.03008 Takahashi, Masako 12 1989 \(\lambda\)-calculi with conditional rules. Zbl 0806.03014 Takahashi, Masako 11 1993 Normal proofs and their grammar. Zbl 0853.68122 Takahashi, Masako; Akama, Yohji; Hirokawa, Sachio 6 1996 The greatest fixed-points and rational omega-tree languages. Zbl 0602.68071 Takahashi, Masako 5 1986 Characterization of \(\omega\)-regular languages by first-order formulas. Zbl 0551.68069 Kobayashi, Kojiro; Takahashi, Masako; Yamasaki, Hideki 4 1984 Decidable properties of intersection type systems. Zbl 1063.03519 Kurata, Toshihiko; Takahashi, Masako 4 1995 Nest sets and relativized closure properties. Zbl 0497.68045 Takahashi, Masako 3 1983 On some queues occurring in an integrated iron and steel works. Zbl 0134.14401 Sugawara, S.; Takahashi, M. 3 1965 Separation theorems and minimax theorems for fuzzy sets. Zbl 0417.46023 Takahashi, M.; Takahashi, W. 3 1980 Rational relations of binary trees. Zbl 0366.94060 Takahashi, Masako 2 1977 On generalized parenthesis languages. Zbl 0539.68067 Takahashi, Masako; Yamasaki, Hideki 1 1982 A primer on proofs and types. Zbl 0937.03063 Takahashi, Masako 1 1998 Characterization of \(\omega\)-regular languages by monadic second-order formulas. Zbl 0618.68067 Yamasaki, Hideki; Takahashi, Masako; Kobayashi, Kojiro 1 1986 A primer on proofs and types. Zbl 0937.03063 Takahashi, Masako 1 1998 Normal proofs and their grammar. Zbl 0853.68122 Takahashi, Masako; Akama, Yohji; Hirokawa, Sachio 6 1996 Parallel reductions in \(\lambda\)-calculus. Zbl 0827.68060 Takahashi, Masako 52 1995 Decidable properties of intersection type systems. Zbl 1063.03519 Kurata, Toshihiko; Takahashi, Masako 4 1995 \(\lambda\)-calculi with conditional rules. Zbl 0806.03014 Takahashi, Masako 11 1993 Parallel reductions in \(\lambda\)-calculus. Zbl 0661.03008 Takahashi, Masako 12 1989 The greatest fixed-points and rational omega-tree languages. Zbl 0602.68071 Takahashi, Masako 5 1986 Characterization of \(\omega\)-regular languages by monadic second-order formulas. Zbl 0618.68067 Yamasaki, Hideki; Takahashi, Masako; Kobayashi, Kojiro 1 1986 Characterization of \(\omega\)-regular languages by first-order formulas. Zbl 0551.68069 Kobayashi, Kojiro; Takahashi, Masako; Yamasaki, Hideki 4 1984 A note on \(\omega\)-regular languages. Zbl 0517.68072 Takahashi, Masako; Yamasaki, Hideki 16 1983 Nest sets and relativized closure properties. Zbl 0497.68045 Takahashi, Masako 3 1983 On generalized parenthesis languages. Zbl 0539.68067 Takahashi, Masako; Yamasaki, Hideki 1 1982 Separation theorems and minimax theorems for fuzzy sets. Zbl 0417.46023 Takahashi, M.; Takahashi, W. 3 1980 Rational relations of binary trees. Zbl 0366.94060 Takahashi, Masako 2 1977 Tree adjunct grammars. Zbl 0326.68053 Joshi, Aravind K.; Levy, Leon S.; Takahashi, Masako 53 1975 Generalizations of regular sets and their application to a study of context-free languages. Zbl 0291.68031 Takahashi, Masako 14 1975 On some queues occurring in an integrated iron and steel works. Zbl 0134.14401 Sugawara, S.; Takahashi, M. 3 1965 all cited Publications top 5 cited Publications all top 5 Cited by 234 Authors 6 Takahashi, Masako 6 Yamasaki, Hideki 5 Moriya, Tetsuo 5 Okhotin, Alexander 4 Fujita, Ken-etsu 4 Guerrieri, Giulio 4 Klop, Jan Willem 4 Matthes, Ralph 3 Copello, Ernesto 3 Engelfriet, Joost 3 Gabbay, Murdoch James 3 Nipkow, Tobias 3 Palis, Michael A. 3 Pitsch, Gisela 3 Sénizergues, Géraud 3 Szasz, Nora 3 Tasistro, Alvaro 3 van Oostrom, Vincent 3 van Raamsdonk, Femke 3 Yokomori, Takashi 2 Arnold, André 2 Autebert, Jean-Michel 2 Blanqui, Frédéric 2 Boasson, Luc 2 Brotherston, James 2 Dershowitz, Nachum 2 Espírito Santo, José Carlos 2 Fujiyoshi, Akio 2 Hotz, Günter 2 Jouannaud, Jean-Pierre 2 Kesner, Delia 2 Kobayashi, Kojiro 2 Liquori, Luigi 2 Litovsky, Igor 2 Maletti, Andreas 2 Martín-Vide, Carlos 2 Minamide, Yasuhiko 2 Nakazawa, Koji 2 Neven, Frank 2 Pinto, Luís F. 2 Ronchi Della Rocca, Simona 2 Schwentick, Thomas 2 Shende, Sunil M. 2 Sørensen, Morten Heine B. 2 Urzyczyn, Paweł 2 Vestergaard, René 2 Weir, David 2 Wintner, Shuly 2 Xi, Hongwei 1 Accattoli, Beniamino 1 Albane, Saadia 1 Alves, Sandra 1 Andou, Yuuki 1 Ayala-Rincón, Mauricio 1 Barash, Mikhail 1 Baumann, Stefan 1 Beauquier, Joffroy 1 beim Graben, Peter 1 Berarducci, Alessandro 1 Bethke, Inge 1 Biswas, Somenath 1 Björklund, Henrik 1 Björklund, Johanna 1 Bradfield, Julian Charles 1 Broda, Sabine 1 Brüggemann-Klein, Anne 1 Bucciarelli, Antonio 1 Burger, Martin 1 Champollion, Lucas 1 Cherubini, Alessandra 1 Cirstea, Horatiu 1 Collins, Michael 1 Compagnoni, Adriana B. 1 Courant, Judicaël 1 Crespi Reghizzi, Stefano 1 Dal Lago, Ugo 1 Dami, Laurent 1 Dauchet, Max 1 de Vrijer, Roel 1 Dediu, Adrian Horia 1 Dekhtyar, Michael I. 1 de’Liguoro, Ugo 1 Dezani-Ciancaglini, Mariangiola 1 Dikovsky, Alexander Yakovlevich 1 Dowek, Gilles 1 Engbers, Ralf 1 Faggian, Claudia 1 Faure, Germain 1 Feinstein, Daniel 1 Felgenhauer, Bertram 1 Fernández, Maribel 1 Fernau, Henning 1 Flasiński, Mariusz 1 Forest, Julien 1 Fujii, Mamoru 1 Fülöp, Zoltán 1 Galdino, André Luiz 1 Gerth, Sabrina 1 Gheri, Lorenzo 1 Goguen, Healfdene ...and 134 more Authors all top 5 Cited in 30 Serials 52 Theoretical Computer Science 15 Information and Computation 7 Information Processing Letters 7 Journal of Logic, Language and Information 4 Annals of Pure and Applied Logic 4 Journal of Automated Reasoning 4 Logical Methods in Computer Science 3 Journal of Computer and System Sciences 3 Mathematical Systems Theory 3 MSCS. Mathematical Structures in Computer Science 3 International Journal of Computer Mathematics 3 Computational Linguistics 2 Studia Logica 2 International Journal of Parallel Programming 2 International Journal of Foundations of Computer Science 2 Journal of Functional Programming 2 RAIRO. Theoretical Informatics and Applications 2 Computer Science Review 1 Acta Informatica 1 Artificial Intelligence 1 Information Sciences 1 The Journal of Symbolic Logic 1 RAIRO, Informatique Théorique 1 Archive for Mathematical Logic 1 Journal of Inverse and Ill-Posed Problems 1 The Bulletin of Symbolic Logic 1 Theory of Computing Systems 1 PAA. Pattern Analysis and Applications 1 Probability in the Engineering and Informational Sciences 1 Mathematics in Computer Science all top 5 Cited in 11 Fields 149 Computer science (68-XX) 62 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 2 Combinatorics (05-XX) 2 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 General topology (54-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year