Mariko Yasugi

23 papers C 10Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2013 J jnl
Computability of Probability Distributions and Characteristic Functions.
Log. Methods Comput. Sci.
Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
2009 C conf
Computability of Probability Distributions and Distribution Functions.
CCA
Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
2009 J jnl
Fine-computable Functions on the Unit Square and their Integral.
J. Univers. Comput. Sci.
Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
2009 C conf
Random Iteration Algorithm for Graph-Directed Sets.
CCA
Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
2008 J jnl
Effective Fine-convergence of Walsh-Fourier series.
Math. Log. Q.
Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
2008 C conf
Integral of Two-dimensional Fine-computable Functions.
CCA
Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
2007 — conf
Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions.
ILC
Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
2007 C conf
Integral of Fine Computable functions and Walsh Fourier series.
CCA
Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii
2005 C conf
Computable Versions of Basic Theorems in Functional Analysis.
CCA
Atsushi Yoshikawa, Mariko Yasugi
2005 C conf
Effective Sequence of Uniformities and its Effective Limit.
CCA
Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii
2005 C conf
Fine Computable Functions and Effective Fine Convergence.
CCA
Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
2005 J jnl
Sequential Computability of a Function. Effective Fine Space and Limiting Recursion.
J. Univers. Comput. Sci.
Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori
2004 C conf
Sequential Computability of a Function: Diagonal Space and Limiting Recursion.
CCA
Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori
2002 J jnl
Metrization of the Uniform Space and Effective Convergence.
Math. Log. Q.
Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori
2002 J jnl
Preface: MLQ - Math. Log. Quart. Supplement 1/2002.
Math. Log. Q.
Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong
2002 C conf
Two Notions of Sequential Computability of a Function with Jumps.
CCA
Mariko Yasugi, Yoshiki Tsujii
2000 — conf
A Note on Rademacher Functions and Computability.
Words, Languages & Combinatorics
Mariko Yasugi, Masako Washihara
2000 C conf
Some Properties of the Effective Uniform Topological Space.
CCA
Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori
1999 J jnl
Effective Properties of Sets and Functions in Metric Spaces with Computability Structure.
Theor. Comput. Sci.
Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii
1996 — conf
Computability Structures on Metric Spaces.
DMTCS
Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi
1994 — conf
A Functional System with Transfinitely Defined Types.
Logic, Language and Computation
Mariko Yasugi, Susumu Hayashi
1989 J jnl
The Machinery of Consistency Proofs.
Ann. Pure Appl. Log.
Mariko Yasugi
1967 J jnl
Interpretations of Set Theory and Ordinal Number Theory.
J. Symb. Log.
Mariko Yasugi