Combining First-Order Classical and Intuitionistic Logic
Toyooka, Masanobu, Sano, Katsuhiko
Published in Electronic proceedings in theoretical computer science (14.04.2022)
Published in Electronic proceedings in theoretical computer science (14.04.2022)
Get full text
Journal Article
Biofilm Formation Plays a Crucial Rule in the Initial Step of Carbon Steel Corrosion in Air and Water Environments
Ogawa, Akiko, Takakura, Keito, Hirai, Nobumitsu, Kanematsu, Hideyuki, Kuroda, Daisuke, Kougo, Takeshi, Sano, Katsuhiko, Terada, Satoshi
Published in Materials (19.02.2020)
Published in Materials (19.02.2020)
Get full text
Journal Article
The development of the anti-biofouling coating agent using metal nanoparticles and analysis by Raman spectroscopy and FIB system
Sano, Katsuhiko, Kanematsu, Hideyuki, Hirai, Nobumitsu, Ogawa, Akiko, Kougo, Takeshi, Tanaka, Toshihiro
Published in Surface & coatings technology (25.09.2017)
Published in Surface & coatings technology (25.09.2017)
Get full text
Journal Article
Expressing discrete spatial relations under granularity
Sindoni, Giulia, Sano, Katsuhiko, Stell, John G.
Published in Journal of logical and algebraic methods in programming (01.08.2021)
Published in Journal of logical and algebraic methods in programming (01.08.2021)
Get full text
Journal Article
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Published in Logical methods in computer science (2018)
Published in Logical methods in computer science (2018)
Get full text
Journal Article
Characterizing Frame Definability in Team Semantics via the Universal Modality
Sano, Katsuhiko, Virtema, Jonni
Published in Logic, Language, Information, and Computation (01.01.2015)
Published in Logic, Language, Information, and Computation (01.01.2015)
Get full text
Book Chapter
Microbiome Analysis of Biofilms of Silver Nanoparticle-Dispersed Silane-Based Coated Carbon Steel Using a Next-Generation Sequencing Technique
Ogawa, Akiko, Takakura, Keito, Sano, Katsuhiko, Kanematsu, Hideyuki, Yamano, Takehiko, Saishin, Toshikazu, Terada, Satoshi
Published in Antibiotics (Basel) (22.10.2018)
Published in Antibiotics (Basel) (22.10.2018)
Get full text
Journal Article