Norihiro Kamide
Scholar

Norihiro Kamide

Google Scholar ID: pFSlO5AAAAAJ
Unknown affiliation
Google Scholar↗
Citations & Impact
All-time
Citations
529
 
H-index
9
 
i10-index
8
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
3 items
Unified Gentzen Approach to Connexive Logics over Wansing's C
Electronic Proceedings in Theoretical Computer Science · 2024
Cited
0
A Unified Gentzen-style Framework for Until-free LTL
Electronic Proceedings in Theoretical Computer Science · 2024
Cited
0
Twist Sequent Calculi for S4 and its Neighbors
Electronic Proceedings in Theoretical Computer Science · 2024
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)