Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by MASAHITO HASEGAWA
Classical Linear Logic of Implications
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Modified Realizability Interpretation of Classical Linear Logic
Quantum Logic in the Framework of Linear Logic
Annals of the Japan Association for Philosophy of Science
Causality in Linear Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Natural Three-Valued Logics and Classical Logic
Logical Investigations
Non Decomposable Connectives of Linear Logic
Annals of Pure and Applied Logic
Logic
Linear Time Logic Control of Discrete-Time Linear Systems
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Regular Linear-Time Temporal Logic
Expansion Nets: Proof-Nets for Propositional Classical Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
