Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Katsuhiko Sano
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic
Bulletin of the American Mathematical Society
Predicate Logic With Anaphora
Semantics and Linguistic Theory
Foreword: Special Issue on Coalgebraic Logic
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
A Finite Model Construction for Coalgebraic Modal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Predicate Logic and Tree Automata With Tests
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formalising Design Patterns in Predicate Logic
Enhancement of Cloud Authorization System Using Predicate Logic
International Journal of Security and its Applications
Computer Science
Generating Hard Tautologies Using Predicate Logic and the Symmetric Group
Logic Journal of the IGPL
Philosophy
Logic and Proof in Computer Science
Advances in Knowledge Acquisition, Transfer, and Management
