Third Workshop of the Amadeus Project on Proof Compression

Event name
Third Workshop of the Amadeus Project on Proof Compression
 
Event type
Event for scientific audience
 
Start date
16-09-2013
Location
Nancy, France
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Weller, Daniel The structure of the solution space in algorithmic cut-introductionPr√§sentation Presentation2013