Masako Takahashi

Available identifiers

zbMath Open takahashi.masakoMaRDI QIDQ800092

List of research outcomes

Publication	Date of Publication	Type
LAMBDA-REPRESENTABLE FUNCTIONS OVER TERM ALGEBRAS	2015-04-30	Paper
https://portal.mardi4nfdi.de/entity/Q3024843	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q2766544	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4490744	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4699350	2000-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q4347988	1997-11-09	Paper
Normal proofs and their grammar	1997-01-12	Paper
Parallel reductions in \(\lambda\)-calculus	1995-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4281488	1995-02-16	Paper
Parallel reductions in \(\lambda\)-calculus	1989-01-01	Paper
Brzozowski hierarchy of \(\omega\)-languages	1987-01-01	Paper
The greatest fixed-points and rational omega-tree languages	1986-01-01	Paper
Characterization of \(\omega\)-regular languages by monadic second-order formulas	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028361	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3693520	1985-01-01	Paper
Generalized parenthesis languages and minimization of their parenthesis parts	1984-01-01	Paper
Characterization of \(\omega\)-regular languages by first-order formulas	1984-01-01	Paper
A note on \(\omega\)-regular languages	1983-01-01	Paper
Nest sets and relativized closure properties	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3326864	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3902375	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4143204	1977-01-01	Paper
Tree adjunct grammars	1975-01-01	Paper
Generalizations of regular sets and their application to a study of context-free languages	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4766920	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5685651	1973-01-01	Paper
An improved proof for a theorem of N. Chomsky	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5575982	1969-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Masako Takahashi