MiG

Cut-free Calculi for Challenge Logics in a Lazy Way

C. Benzmüller— 2013

TitelCut-free Calculi for Challenge Logics in a Lazy Way
VerfasserC. Benzmüller
Datum201312
Quelle/n
Erschienen inProceedings of the International Workshop on Algebraic Logic in Computer Science