Springe direkt zu Inhalt

Cut-free Calculi for Challenge Logics in a Lazy Way

Dr. C. Benzmüller – 2013

Titel
Cut-free Calculi for Challenge Logics in a Lazy Way
Verfasser
Dr. C. Benzmüller
Datum
2013-12
Erschienen in
Proceedings of the International Workshop on Algebraic Logic in Computer Science