Prague-Vienna Workshop on Proof Theory and Proof Complexity

Event name
Prague-Vienna Workshop on Proof Theory and Proof Complexity
 
Event type
Event for scientific audience
 
Start date
11-01-2006
End date
12-01-2006
 
Location
Mathematical Institute of the Czech Academy of Science, Prague, Czech Republic
Country
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



Filter:
Author:  Metcalfe, George

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

PreviewAuthor(s)TitleTypeIssue Date
1Metcalfe, George Proof systems for admissibilityPräsentation Presentation2006