![](/img/cover-not-exists.png)
[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - CCS with priority choice
Camilleri, J., Winskel, G.Year:
1991
Language:
english
DOI:
10.1109/lics.1991.151649
File:
PDF, 587 KB
english, 1991