Masako Takahashi

According to our database, Masako Takahashi authored at least 22 papers between 1972 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Theories of Types and Proofs 1997 - Preface.

Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi

Theor. Comput. Sci., 2002

2001

Lambda-Representable Functions Over Term Algebras.

Masako Takahashi

Int. J. Found. Comput. Sci., 2001

2000

On Computable Tree Functions.

Masahiro Kimoto, Masako Takahashi

Proceedings of the Advances in Computing Science, 2000

1998

Lambda-representable Functions over Free Structures Revisited.

Masako Takahashi

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1996

Normal Proofs and Their Grammar.

Masako Takahashi, Yohji Akama, Sachio Hirokawa

Inf. Comput., 1996

1995

Decidable Properties of Intersection Type Systems.

Toshihiko Kurata, Masako Takahashi

Proceedings of the Typed Lambda Calculi and Applications, 1995

1994

A Simple Proof of the Genericity Lemma.

Masako Takahashi

Proceedings of the Logic, 1994

1993

Lambda-Calculi with Conditional Rules.

Masako Takahashi

Proceedings of the Typed Lambda Calculi and Applications, 1993

1989

Parallel Reductions in lambda-Calculus.

Masako Takahashi

J. Symb. Comput., 1989

1987

Brzozowski Hierarchy of omega-Languages.

Masako Takahashi

Theor. Comput. Sci., 1987

1986

Characterization of omega-Regular Languages by Monadic Second-Order Formulas.

Hideki Yamasaki, Masako Takahashi, Kojiro Kobayashi

Theor. Comput. Sci., 1986

The Greatest Fixed-Points and Rational Omega-Tree Languages.

Masako Takahashi

Theor. Comput. Sci., 1986

1984

Generalized Parenthesis Languages and Minimization of their Parenthesis Parts.

Hideki Yamasaki, Masako Takahashi

Theor. Comput. Sci., 1984

Characterization of omega-Regular Languages by First-Order Formulas.

Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki

Theor. Comput. Sci., 1984

Logical formulas and four subclasses of omega-regular languages.

Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki

Proceedings of the Automata on Infinite Words, 1984

1983

A Note on omega-Regular Languages.

Masako Takahashi, Hideki Yamasaki

Theor. Comput. Sci., 1983

Nest Sets and Relativized Closure Properties.

Masako Takahashi

Theor. Comput. Sci., 1983

1977

Rational relations of Binary Trees.

Masako Takahashi

Proceedings of the Automata, 1977

1975

Generalizations of Regular Sets and Their Applicatin to a Study of Context-Free Languages

Masako Takahashi

Inf. Control., January, 1975

Tree Adjunct Grammars.

Aravind K. Joshi, Leon S. Levy, Masako Takahashi

J. Comput. Syst. Sci., 1975

1972

Primitive Tranformations of Regular Sets and Recognizable Sets.

Masako Takahashi

Proceedings of the Automata, 1972

A Tree Generating System.

Aravind K. Joshi, Leon S. Levy, Masako Takahashi

Proceedings of the Automata, 1972