Event name
VSL 2014
 
Event type
Event for scientific audience
 
Start date
15-07-2014
End date
22-07-2014
 
Location
Wien
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lellmann, Björn Axioms vs Hypersequent Rules with Context Restrictions: Theory and ApplicationsKonferenzbeitrag Inproceedings2014
2Leitsch, Alexander Mathematical Proof AnalysisPräsentation Presentation2014