Electronic Proceedings in Theoretical Computer Science

Up a level
Export as [feed] RSS
Group by: Date | Full Text Status
Jump to: 2021
Number of items: 1.

2021

Fussner, Daniel; St. John, Gavin (2021). Negative Translations of Orthomodular Lattices and Their Logic (arXiv 343). Cornell University 10.4204/EPTCS.343.3

This list was generated on Tue May 7 05:23:37 2024 CEST.
Provide Feedback