Masako Takahashi

Publication Activity (10 Years)

Years Active: 1972-2002
Publications (10 Years): 0

Publications

Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi
Theories of Types and Proofs 1997 - Preface. Theor. Comput. Sci. 272 (1-2) (2002)
Masako Takahashi
Lambda-Representable Functions Over Term Algebras. Int. J. Found. Comput. Sci. 12 (1) (2001)
Masahiro Kimoto, Masako Takahashi
On Computable Tree Functions. ASIAN (2000)
Masako Takahashi
Lambda-representable Functions over Free Structures Revisited. Fuji International Symposium on Functional and Logic Programming (1998)
Masako Takahashi, Yohji Akama, Sachio Hirokawa
Normal Proofs and Their Grammar. Inf. Comput. 125 (2) (1996)
Toshihiko Kurata, Masako Takahashi
Decidable Properties of Intersection Type Systems. TLCA (1995)
Masako Takahashi
Parallel Reductions in lambda-Calculus Inf. Comput. 118 (1) (1995)
Masako Takahashi, Yohji Akama, Sachio Hirokawa
Normal Proofs and Their Grammar. TACS (1994)
Masako Takahashi
A Simple Proof of the Genericity Lemma. Logic, Language and Computation (1994)
Masako Takahashi
Lambda-Calculi with Conditional Rules. TLCA (1993)
Masako Takahashi
Parallel Reductions in lambda-Calculus. J. Symb. Comput. 7 (2) (1989)
Masako Takahashi
Brzozowski Hierarchy of omega-Languages. Theor. Comput. Sci. 49 (1987)
Masako Takahashi
The Greatest Fixed-Points and Rational Omega-Tree Languages. Theor. Comput. Sci. 44 (1986)
Hideki Yamasaki, Masako Takahashi, Kojiro Kobayashi
Characterization of omega-Regular Languages by Monadic Second-Order Formulas. Theor. Comput. Sci. 46 (3) (1986)
Hideki Yamasaki, Masako Takahashi
Generalized Parenthesis Languages and Minimization of their Parenthesis Parts. Theor. Comput. Sci. 31 (1984)
Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki
Logical formulas and four subclasses of omega-regular languages. Automata on Infinite Words (1984)
Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki
Characterization of omega-Regular Languages by First-Order Formulas. Theor. Comput. Sci. 28 (1984)
Masako Takahashi, Hideki Yamasaki
A Note on omega-Regular Languages. Theor. Comput. Sci. 23 (1983)
Masako Takahashi
Nest Sets and Relativized Closure Properties. Theor. Comput. Sci. 22 (1983)
Masako Takahashi
Rational relations of Binary Trees. ICALP (1977)
Aravind K. Joshi, Leon S. Levy, Masako Takahashi
Tree Adjunct Grammars. J. Comput. Syst. Sci. 10 (1) (1975)
Masako Takahashi
Generalizations of Regular Sets and Their Applicatin to a Study of Context-Free Languages Inf. Control. 27 (1) (1975)
Aravind K. Joshi, Leon S. Levy, Masako Takahashi
A Tree Generating System. ICALP (1972)
Masako Takahashi
Primitive Tranformations of Regular Sets and Recognizable Sets. ICALP (1972)