Transactions on Advanced Research
Lutovac A., Tatjana:
"Specifying Sequent Calculi Rules for Managing Some Redundancies in Proof Search"

Submited Paper (click here to see)


Input the password here to see reviews: