science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

July 27, 2006

[PT] Invertible hypersequent calculi for IPL, Robert Rothenberg

July 24, 2006

[PT] Semantics and justification of wk and ctr: references, Ole Thomassen Hjortland

July 20, 2006

[PT] Proof nets and the identity of proofs, Lutz Strassburger

July 11, 2006

[TYPES/announce] Algebraic Theory of Automata and Logic Workshop CALL FOR PAPERS, Computer Science Logic '06 Conference

July 05, 2006

[PT] E. W. Beth Dissertation Prize: call for submissions, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

News | FAQ | advertise