Inproceedings,

Equational Semantics.

, , , and .
SAS, volume 1694 of Lecture Notes in Computer Science, page 264-283. Springer, (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews