Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mateusz Klonowski
Sequent Calculi for Beginners and Professionals
Logic and Logical Philosophy
Philosophy
Related publications
Saturation Up to Redundancy for Tableau and Sequent Calculi
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Contraction-Free Sequent Calculi for Intuitionistic Logic: A Correction
Journal of Symbolic Logic
Philosophy
Logic
Sequent Systems for Negative Modalities
Logica Universalis
Applied Mathematics
Logic
Practical Botany for Beginners
Nature
Multidisciplinary
Sequent Systems for Modal Logics
An Advanced Book for Beginners
History of Computing
Handbook of Paleontology for Beginners and Amateurs ...
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
Journal of Functional Programming
Software
