Old Web
English
Sign In
Acemap
>
authorDetail
>
Makoto Takahashi
Makoto Takahashi
Waseda University
specification analysis
Mathematics
Programming language
Theoretical computer science
Computer science
5
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Decomposition and Isomerization Mechanisms of Head-to-Head α-Pyridonato-Bridged Ethylenediamineplatinum(II) Binuclear Complex, [Pt2(en)2(C5H4NO)2]2+, in Aqueous Solution
2020
Inorganica Chimica Acta
Yuuki Ito
Kohei Yamashima
Shintaro Arai
Makoto Takahashi
Tomohiro Itou
Satoshi Iwatsuki
Koji Ishihara
Kazuko Matsumoto
Show All
Source
Cite
Save
Citations (1)
The System FL_<m,n> for Specification Analysis and its Completeness Theorem
1987
Journal of Information Processing
Ken Hirose
Makoto Takahashi
Shinichi Yamada
Show All
Source
Cite
Save
Citations (0)
The system FLm,n for specification analysis and an automatic theorem prover for FL m,n
1986
Ken Hirose
Makoto Takahashi
Shinichi Yamada
Show All
Source
Cite
Save
Citations (0)
Specification analysis of concurrent programs(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
1984
Ken Hirose
Makoto Takahashi
Show All
Source
Cite
Save
Citations (0)
A Formal System for Specification Analysis of Concurrent Programs
1983
Publications of The Research Institute for Mathematical Sciences
Ken Hirose
Makoto Takahashi
Show All
Source
Cite
Save
Citations (0)
1