Masako Takahashi

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