Mariko Yasugi

	2008
16		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		Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii: Integral of Two-dimensional Fine-computable Functions. Electr. Notes Theor. Comput. Sci. 221: 141-152 (2008)
14		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		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		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		Mariko Yasugi, Yoshiki Tsujii: Two Notions of Sequential Computability of a Function with Jumps. Electr. Notes Theor. Comput. Sci. 66(1): (2002)
7		Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori: Metrization of the Uniform Space and Effective Convergence. Math. Log. Q. 48(S1): 123-130 (2002)
6		Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong: Preface: MLQ - Math. Log. Quart. Supplement 1/2002. Math. Log. Q. 48(S1): (2002)
	2000
5		Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori: Some Properties of the Effective Uniform Topological Space. CCA 2000: 336-356
	1999
4		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