List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Particle filter algorithm to analyze long-term tide gauge records for monitoring of the Earth's crustal activities Journal of the Japan Statistical Society | 2013-11-26 | Paper |
| scientific article; zbMATH DE number 3957053 (Why is no real title available?) | 1983-01-01 | Paper |
| Embedding of Modal Predicate Systems into Lower Predicate Calculus Annals of the Japan Association for Philosophy of Science | 1983-01-01 | Paper |
| A note on Thomason's representation of S5 Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3504940 (Why is no real title available?) | 1976-01-01 | Paper |
| Certain Method for Generating a Series of Logics Nagoya Mathematical Journal | 1968-01-01 | Paper |
| On pairs of very-close formal systems Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1967-01-01 | Paper |
| A Remark on the Intersection of Tow Logics Nagoya Mathematical Journal | 1966-01-01 | Paper |
Research outcomes over time
This page was built for person: Satoshi Miura
