5th International Workshop on Structures and Deduction SD 2019

Event name
5th International Workshop on Structures and Deduction SD 2019
 
Event type
Event for scientific audience
 
Start date
29-06-2019
End date
30-06-2019
 
Location
Dortmund
Country
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Ramanayake, Revantha Structural proof theory: shedding structurePräsentation Presentation2019