Masako Takahashi Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2002
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi: Theories of Types and Proofs 1997 - Preface. Theor. Comput. Sci. 272(1-2): 1-2 (2002)
2001
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: Lambda-Representable Functions Over Term Algebras. Int. J. Found. Comput. Sci. 12(1): 3-29 (2001)
2000
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masahiro Kimoto, Masako Takahashi: On Computable Tree Functions. ASIAN 2000: 273-289
1998
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: Lambda-representable Functions over Free Structures Revisited. Fuji International Symposium on Functional and Logic Programming 1998: 1-19
1996
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi, Yohji Akama, Sachio Hirokawa: Normal Proofs and Their Grammar. Inf. Comput. 125(2): 144-153 (1996)
1995
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: Parallel Reductions in lambda-Calculus. Inf. Comput. 118(1): 120-127 (1995)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Toshihiko Kurata, Masako Takahashi: Decidable Properties of Intersection Type Systems. TLCA 1995: 297-311
1994
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: A Simple Proof of the Genericity Lemma. Logic, Language and Computation 1994: 117-118
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi, Yohji Akama, Sachio Hirokawa: Normal Proofs and Their Grammar. TACS 1994: 465-493
1993
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: Lambda-Calculi with Conditional Rules. TLCA 1993: 406-417
1989
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: Parallel Reductions in lambda-Calculus. J. Symb. Comput. 7(2): 113-123 (1989)
1987
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: Brzozowski Hierarchy of omega-Languages. Theor. Comput. Sci. 49: 1-12 (1987)
1986
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: The Greatest Fixed-Points and Rational Omega-Tree Languages. Theor. Comput. Sci. 44: 259-274 (1986)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hideki Yamasaki, Masako Takahashi, Kojiro Kobayashi: Characterization of omega-Regular Languages by Monadic Second-Order Formulas. Theor. Comput. Sci. 46(3): 91-99 (1986)
1984
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki: Characterization of omega-Regular Languages by First-Order Formulas. Theor. Comput. Sci. 28: 315-327 (1984)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hideki Yamasaki, Masako Takahashi: Generalized Parenthesis Languages and Minimization of their Parenthesis Parts. Theor. Comput. Sci. 31: 1-11 (1984)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki: Logical formulas and four subclasses of omega-regular languages. Automata on Infinite Words 1984: 81-88
1983
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: Nest Sets and Relativized Closure Properties. Theor. Comput. Sci. 22: 253-264 (1983)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi, Hideki Yamasaki: A Note on omega-Regular Languages. Theor. Comput. Sci. 23: 217-225 (1983)
1977
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: Rational relations of Binary Trees. ICALP 1977: 524-538
1975
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: Generalizations of Regular Sets and Their Applicatin to a Study of Context-Free Languages. Information and Control 27(1): 1-36 (1975)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aravind K. Joshi, Leon S. Levy, Masako Takahashi: Tree Adjunct Grammars. J. Comput. Syst. Sci. 10(1): 136-163 (1975)
1972
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aravind K. Joshi, Leon S. Levy, Masako Takahashi: A Tree Generating System. ICALP 1972: 453-465
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masako Takahashi: Primitive Tranformations of Regular Sets and Recognizable Sets. ICALP 1972: 475-480

Coauthor Index

1Yohji Akama
[j12] [c6]
2Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)
[j14]
3Sachio Hirokawa
[j12] [c6]
4Aravind K. Joshi
[j1] [c2]
5Masahiro Kimoto
[c10]
6Kojiro Kobayashi
[j7] [j6] [c4]
7Toshihiko Kurata
[c8]
8Leon S. Levy
[j1] [c2]
9Mitsuhiro Okada
[j14]
10Hideki Yamasaki
[j7] [j6] [j5] [c4] [j3]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 05:13:22 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page