BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × United Kingdom
2 × The Netherlands
Collaborated with:
T.Kurata A.K.Joshi L.S.Levy
Talks about:
represent (2) function (2) system (2) tree (2) set (2) intersect (1) tranform (1) structur (1) recogniz (1) properti (1)

Person: Masako Takahashi

DBLP DBLP: Takahashi:Masako

Contributed to:

FLOPS 19981998
IJFCS/FLOPS 19982001
TLCA 19951995
TLCA 19931993
ICALP 19771977
ICALP 19721972

Wrote 7 papers:

FLOPS-1998-Takahashi #revisited
λ-representable Functions over Free Structures Revisited (MT), pp. 1–19.
FLOPS-J1-1998-Takahashi01 #algebra
λ-Representable Functions Over Term Algebras (MT), pp. 3–29.
TLCA-1995-KurataT #decidability #type system
Decidable Properties of Intersection Type Systems (TK, MT), pp. 297–311.
TLCA-1993-Takahashi #λ-calculus
λ-Calculi with Conditional Rules (MT), pp. 406–417.
Rational relations of Binary Trees (MT), pp. 524–538.
ICALP-1972-JoshiLT #generative
A Tree Generating System (AKJ, LSL, MT), pp. 453–465.
ICALP-1972-Takahashi #set
Primitive Tranformations of Regular Sets and Recognizable Sets (MT), pp. 475–480.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.