Conference item icon

Conference item

Proofs as Processes

Actions

Authors


Host title:
J. Theoretical Computer Science
Volume:
135
Publication date:
1994-01-01


UUID:
uuid:fccf5e32-bb4c-4418-a7c8-66c3549bc2a6
Local pid:
cs:1873
Deposit date:
2015-03-31
ARK identifier:

Terms of use


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