Izumi Takeuti

发表

The measure of an omega regular language is rational (Algebraic Semigroups, Formal Languages and Computation)

Izumi Takeuti, 2001 .

Case Calculus for Classical Logic

Izumi Takeuti, K. Baba, 馬場謙介, 2000 .

Technical Report Case Calculus for Classical Logic Case Calculus for Classical Logic

Izumi Takeuti, K. Baba, S. Hirokawa, 2000 .

8 Representation System for Quality Indicators by Ontology

Izumi Takeuti, Noriaki Izumi, K. Hasida, 2012 .

THE NORMAL OPEN SET ALMOST EQUAL TO A REGULAR OMEGA LANGUAGE (Algorithms in Algebraic Systems and Computation Theory)

Izumi Takeuti, 2002 .

Ontology- and Model-Based Quality Indicators Designing Framework

Osamu Takaki, Noriaki Izumi, Izumi Takeuti, 2014, eTELEMED 2014.

Graphical representation of quality indicators based on medical service ontology

Osamu Takaki, Noriaki Izumi, Koichiro Murata, 2013, SpringerPlus.

Workflows with Passbacks and Incremental Verification of Their Correctness

Osamu Takaki, Noriaki Izumi, Kôiti Hasida, 2012, IEICE Trans. Inf. Syst..

Representation System for Quality Indicators by Ontology

Osamu Takaki, Noriaki Izumi, Koichiro Murata, 2012 .

Formalisation of Bayesian concealment

Izumi Takeuti, Izumi Takeuti, 2021, Japan Journal of Industrial and Applied Mathematics.

Effective Fixed Point Theorem over a Non-computably Separable Metric Space

Izumi Takeuti, Izumi Takeuti, 2000, CCA.

On Embedding a Qualitative Representation in a Two-Dimensional Plane

Izumi Takeuti, Kazuko Takahashi, Takao Sumitomo, 2008, Spatial Cogn. Comput..