science.mathematics.prooftheory (date)
<
Prev Period
]
[
Next Period
>
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
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise