JAIST Logic Workshop Series: Constructivism and Computability 2015

Event name
JAIST Logic Workshop Series: Constructivism and Computability 2015
 
Event type
Event for scientific audience
 
Start date
02-03-2015
End date
06-03-2015
 
Location
Kanazawa, Japan
Country
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Leigh, Graham Herbrand's theorem, cut elimination and formal grammarsPräsentation Presentation2015