×
Author ID: takahashi.masako Recent zbMATH articles by "Takahashi, Masako"
Published as: Takahashi, Masako
External Links: MGP

Publications by Year

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 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

Citations by Year