Inproceedings,

Objects with Logic.

, and .
ACM Conference on Computer Science, page 128-133. ACM, (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews