science.mathematics.prooftheory (thread)

[PT] Sequent systems where cut is not admissible, Alessio Guglielmi
- Re: [PT] Sequent systems where cut is not admissible, Jan Johannsen
- Re: [PT] Sequent systems where cut is not admissible, Arnon Avron
[PT] Journal "Logical Methods in CS", Logical Methods in CS
Workshop on Logic programming and concurrency, Lutz Strassburger
[PT] Workshop on Logic programming and concurrency, Lutz Strassburger
[PT] CSL'06 workshops and Ackermann Award, Computer Science Logic '06 Conference