Conference item
Proofs as Processes
Actions
Authors
Bibliographic Details
- Volume:
- 135
- Host title:
- J. Theoretical Computer Science
- Publication date:
- 1994-01-01
Item Description
- UUID:
-
uuid:fccf5e32-bb4c-4418-a7c8-66c3549bc2a6
- Local pid:
- cs:1873
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 1994
If you are the owner of this record, you can report an update to it here: Report update to this record