Kawano, Tomoaki
139  Ergebnisse:
Personensuche X
?
1

Quantum Logic for Observation of Physical Quantities:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,
Kawano, Tomoaki - p. 90-105 , 2023
 
?
2

Sequent Calculi for Orthologic with Strict Implication:

Kawano, Tomoaki
Bulletin of the Section of Logic.  51 (2021)  1 - p. 73-89 , 2021
 
?
3

Development of a simple compatibility inspection method usi..:

Ishimaru, Hiromasa ; Tsuda, Yasumasa ; Kage, Hidenori...
Journal of Oncology Pharmacy Practice.  27 (2020)  6 - p. 1321-1327 , 2020
 
?
5

Discovery and Biological Evaluation of Potent and Orally Ac..:

Koike, Takanori ; Shiraki, Ryota ; Sasuga, Daisuke...
Chemical and Pharmaceutical Bulletin.  67 (2019)  8 - p. 824-838 , 2019
 
?
6

Labeled Sequent Calculus for Orthologic:

Kawano, Tomoaki
Bulletin of the Section of Logic.  47 (2018)  4 - p. , 2018
 
?
9

Design and synthesis of cholestane derivatives bearing a ca..:

Nemoto, Hisao ; Kikuishi, Junya ; Yanagida, Shiho...
Bioorganic & Medicinal Chemistry Letters.  9 (1999)  2 - p. 205-208 , 1999
 
?
11

Sequent Calculi for Orthologic with Strict Implication:

Kawano, Tomoaki
https://czasopisma.uni.lodz.pl/bulletin/article/view/8670/10761.  , 2021
 
?
13

Labeled Sequent Calculus for Orthologic:

Kawano, Tomoaki
Bulletin of the Section of Logic; 4.  , 2018
 
?
14

Labeled Sequent Calculus for Orthologic:

Kawano, Tomoaki
Bulletin of the Section of Logic; 4.  , 2018
 
?
15

Labeled Sequent Calculus for Orthologic:

Kawano, Tomoaki
https://czasopisma.uni.lodz.pl/bulletin/article/view/4772/4542.  , 2018
 
1-15