Theoretical Computer Science
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
Journal of Symbolic Logic
Group Theory and Computational Linguistics
Journal of Logic, Language and Information
Hi-index | 0.00 |