- Publication date:
- 2001-01-01
- URN:
-
uuid:3e00d901-fba3-43aa-9b60-7db9363da34b
- Local pid:
- cs:4940
- Copyright date:
- 2001
Conference item
An Example of Local Reasoning in BI Pointer Logic: the Schorr−Waite Graph Marking Algorithm
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record