ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "identity elimination"
identity elimination
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Cut elimination, identity elimination, and interpolation in super-Belnap logics
2017 |
Filozofická fakulta
