default search action
"Maximally Multi-focused Proofs for Skew Non-Commutative MILL."
Niccolò Veltri (2023)
- Niccolò Veltri:
Maximally Multi-focused Proofs for Skew Non-Commutative MILL. WoLLIC 2023: 377-393
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.