Katsumi Sasaki

According to our database1, Katsumi Sasaki authored at least 10 papers between 1990 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
RSSI-Based Living-Body Radar Using Single RF Front-End and Tunable Parasitic Antennas.
IEICE Trans. Commun., 2018

2016
Tourist Information System Based on Beacon and Augumented Reality Technologies.
Proceedings of the 19th International Conference on Network-Based Information Systems, 2016

2013
Pneumatic Servo Bearing Actuator with Multiple Bearing Pads for Ultraprecise Positioning.
Int. J. Autom. Technol., 2013

2010
Formulas in Modal Logic S4.
Rev. Symb. Log., 2010

2009
Development of Pneumatic Servo Bearing Actuator for Nanometer Positioning.
Int. J. Autom. Technol., 2009

2003
A Cut-Free Gentzen Formulation of Basic Propositional Calculus.
J. Log. Lang. Inf., 2003

2002
A Cut-Free Sequent System for the Smallest Interpretability Logic.
Stud Logica, 2002

1999
Formalizations for the Consequence Relation of Visser's Propositional Logic.
Reports Math. Log., 1999

1993
The simple substitution property of the intermediate propositional logics on finite slices.
Stud Logica, 1993

1990
The simple substitution property of Gödel's intermediate propositional logics Sn's.
Stud Logica, 1990


  Loading...