Name Card

Full name Familienname, Vorname
Alama, Jesse
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Alama, Jesse Dialogues for proof searchKonferenzbeitrag Inproceedings2015
2Alama, Jesse Without EPräsentation Presentation2014
3Alama, Jesse New results on Hilbert's 24th problemPräsentation Presentation2014
4Alama, Jesse New views into dialogue games for classical and intuitionistic logicPräsentation Presentation2014
5Alama, Jesse Reverse-engineering mathematicsPräsentation Presentation2014
6Alama, Jesse Dialogues for proof searchPräsentation Presentation2014
7Uckelman, Sara L. ; Alama, Jesse ; Knoks, Aleks A curious dialogical logic and its composition problemArtikel Article2014
8Alama, Jesse ; Heskes, Tom ; Kühlwein, Daniel ; Tsivtsivadze, Evgeni ; Urban, Josef Premise selection for mathematics by corpus analysis and kernel methodsArtikel Article2014
9Alama, Jesse The simplest axiom system for plane hyperbolic geometry revisited, againArtikel Article2014