13th International Conference on Logic for Programming ,Artificial Intellegence and Reasoning (LPAR)
Event name
13th International Conference on Logic for Programming ,Artificial Intellegence and Reasoning (LPAR)
Event type
Event for scientific audience
Start date
04-11-2006
End date
20-11-2006
Location
Phnom Penh, Cambodia
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ciabattoni, Agata | Modular cut-elemination: finding proofs or counterexamples | Präsentation Presentation | 2006 |