ℹ️
🇬🇧
Search
Search for publications relevant for "Sequent calculus"
Sequent calculus
Publication
Class
Person
Publication
Programmes
Export current view
publication
Expander Construction in VNC1
2017 |
Faculty of Mathematics and Physics
publication
Expander construction in VNC1
2020 |
Faculty of Mathematics and Physics
publication
Reductio ad contradictionem: an algebraic perspective
2016 |
Faculty of Arts
