Mariko Yasugi

2008
16	EE	Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii: Integral of Fine Computable functions and Walsh Fourier series. Electr. Notes Theor. Comput. Sci. 202: 279-293 (2008)
15	EE	Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii: Integral of Two-dimensional Fine-computable Functions. Electr. Notes Theor. Comput. Sci. 221: 141-152 (2008)
14	EE	Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii: Effective Fine-convergence of Walsh-Fourier series. Math. Log. Q. 54(5): 519-534 (2008)
2005
13		Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi: Fine Computable Functions and Effective Fine Convergence. CCA 2005: 177-197
12		Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii: Effective Sequence of Uniformities and its Effective Limit. CCA 2005: 301-318
11		Atsushi Yoshikawa, Mariko Yasugi: Computable Versions of Basic Theorems in Functional Analysis. CCA 2005: 378
10	EE	Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori: Sequential Computability of a Function: Diagonal Space and Limiting Recursion. Electr. Notes Theor. Comput. Sci. 120: 187-199 (2005)
9	EE	Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori: Sequential Computability of a Function. Effective Fine Space and Limiting Recursion. J. UCS 11(12): 2179- (2005)
2002
8	EE	Mariko Yasugi, Yoshiki Tsujii: Two Notions of Sequential Computability of a Function with Jumps. Electr. Notes Theor. Comput. Sci. 66(1): (2002)
7	EE	Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori: Metrization of the Uniform Space and Effective Convergence. Math. Log. Q. 48(S1): 123-130 (2002)
6	EE	Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong: Preface: MLQ - Math. Log. Quart. Supplement 1/2002. Math. Log. Q. 48(S1): (2002)
2000
5	EE	Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori: Some Properties of the Effective Uniform Topological Space. CCA 2000: 336-356
1999
4	EE	Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii: Effective Properties of Sets and Functions in Metric Spaces with Computability Structure. Theor. Comput. Sci. 219(1-2): 467-486 (1999)
1994
3		Mariko Yasugi, Susumu Hayashi: A Functional System with Transfinitely Defined Types. Logic, Language and Computation 1994: 31-60
1989
2		Mariko Yasugi: The Machinery of Consistency Proofs. Ann. Pure Appl. Logic 44(1-2): 139-152 (1989)
1967
1		Mariko Yasugi: Interpretations of Set Theory and Ordinal Number Theory. J. Symb. Log. 32(2): 145-161 (1967)

Coauthor Index

1	Vasco Brattka	[6]
2	Susumu Hayashi	[3]
3	Peter Hertling	[6]
4	Takakazu Mori	[4] [5] [7] [9] [10] [12] [13] [14] [15] [16]
5	Yoshiki Tsujii	[4] [5] [7] [8] [9] [10] [12] [13] [14] [15] [16]
6	Atsushi Yoshikawa	[11]
7	Ning Zhong	[6]

Colors in the list of coauthors