Encoding Hamiltonian circuits into multiplicative linear logic
Theoretical Computer Science
Theoretical Computer Science
The Expressive Power of Horn Monadic Linear Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Phase semantics for light linear logic
Theoretical Computer Science - Linear logic
Intuitionistic phase semantics is almost classical
Mathematical Structures in Computer Science
Nondeterministic Phase Semantics and the Undecidability of Boolean BI
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |