Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Loeb, Iris - Department of Mathematics and Statistics, University of Canterbury
Natural Deduction Sharing by Presentation
Under consideration for publication in Math. Struct. in Comp. Science Natural Deduction via Graphs
Factoring out Intuitionistic Theorems: Continuity Principles and the Uniform
From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of
Indecomposability of R and R \ {0} in Constructive Reverse
An Interactive Algebra Course with Formalised Proofs and Definitions
Predicaten van Beweging Een contrastief onderzoek tussen Engels, Ivriet en
