International Workshop PCC-Proof, Computation, Complexity

View Statistics Email Alert RSS Feed

Description

Event name
International Workshop PCC-Proof, Computation, Complexity
 
Event type
Event for scientific audience
 
Start date
18-06-2010
End date
19-06-2010
 
Location
Bern
Country
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen


Treffer 1-1 von 1 (Suchzeit: 0.001 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Ciabattoni, Agata Systematic (and algebraic) proof theory for substructural logicsPräsentation Presentation2010