Satoshi Miura

Available identifiers

zbMath Open miura.satoshiMaRDI QIDQ1230772

List of research outcomes

Publication	Date of Publication	Type
Particle filter algorithm to analyze long-term tide gauge records for monitoring of the Earth's crustal activities	2013-11-26	Paper
Embedding of Modal Predicate Systems into Lower Predicate Calculus	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726082	1983-01-01	Paper
A note on Thomason's representation of S5	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4085701	1976-01-01	Paper
Certain Method for Generating a Series of Logics	1968-01-01	Paper
On pairs of very-close formal systems	1967-01-01	Paper
A Remark on the Intersection of Tow Logics	1966-01-01	Paper

Research outcomes over time

This page was built for person: Satoshi Miura