science.mathematics.prooftheory (thread)

[PT] LPAR Call for Short Papers, geoff-RUaG/XBVoqD2fBVCVOL8/A
[PT] Lecturer in Software Engineering, B . Bordbar-dxBOTFGcEFw2EctHIo1CcQ
CONCUR 07: Call For Participation, Luís Caires
- Lecturer in Software Engineering, B . Bordbar
[PT] Normalisation Control in Deep Inference Via Atomic Flows, Tom E Gundersen
- [PT] Normalisation Control in Deep Inference Via Atomic Flows, Tom E Gundersen
[PT] M4M-5 Call for Papers, Carlos Areces