Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Akira OIDE
Quantum Logic in the Framework of Linear Logic
Annals of the Japan Association for Philosophy of Science
Related publications
On Multiplicative Linear Logic, Modality and Quantum Circuits
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Causality in Linear Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantum Theory and Logic
Bulletin of the British Society for the History of Science
Classical Linear Logic of Implications
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Topos Theory and Quantum Logic
Foundations of Quantum Theory
Regular Linear-Time Temporal Logic
Non Decomposable Connectives of Linear Logic
Annals of Pure and Applied Logic
Logic
Quantum Logic and Related Systems
Annals of the Japan Association for Philosophy of Science
