Browsing by Author "Loeb, I."
Now showing items 16 of 6

Deduction Graphs with Universal Quantification
Geuvers, J.H.; Loeb, I.2008, Article in monograph or in proceedings (Mackie, I.; Plump, D. (ed.), Proceedings of the Fourth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007), pp. 93108) 
Natural Deduction via Graphs: Formal Definition and Computation Rules
Geuvers, J.H.; Loeb, I.2007, Article / Letter to editor (Mathematical Structures in Computer Science, 17, 3, (2007), pp. 485526) 
Natural Deduction, Sharing By Presentation
Loeb, I.2007, Dissertation 
From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.
Geuvers, Herman; Loeb, I.2006, Article in monograph or in proceedings (MFCS, pp. 3957) 
An Interactive Algebra Course with Formalised Proofs and Definitions
Asperti, Andrea; Geuvers, Herman; Loeb, Iris; Mamane, Lionel Eli; Coen, Claudio Sa2006, Article in monograph or in proceedings (Kohlhase, Michael (ed.), Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 1517, 2005, Revised Selected Papers, pp. 315329) 
Equivalents of the (Weak) Fan Theorem
Loeb, I.2005, Article / Letter to editor (Annals of Pure and Applied Logic, 132, 1, (2005), pp. 5166)