Report icon

Report

Implementation of a cut−free sequent calculus for logics with adjoint modalities

Actions


Access Document


Files:

Authors


Publication date:
2009-01-01
URN:
uuid:aa6ad9c5-96b6-4370-8e92-2e52e40d45d3
Local pid:
cs:3037

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP