science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

October 26, 2005

Re: [PT] Sequent systems where cut is not admissible, Arnon Avron
Re: [PT] Sequent systems where cut is not admissible, Jan Johannsen
[PT] Sequent systems where cut is not admissible, Alessio Guglielmi

October 25, 2005

[PT] Journal "Logical Methods in CS", Logical Methods in CS

October 15, 2005

Workshop on Logic programming and concurrency, Lutz Strassburger

October 10, 2005

[PT] Workshop on Logic programming and concurrency, Lutz Strassburger

October 03, 2005

[PT] CSL'06 workshops and Ackermann Award, Computer Science Logic '06 Conference

News | FAQ | advertise