MiG

Cut-free Calculi for Challenge Logics in a Lazy Way

Dr. C. Benzmüller— 2013

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