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

This page was built for person: Masako Takahashi