Inproceedings,

A WAM-Based Implementation of a Logical Language with Sets.

, and .
PLILP, volume 714 of Lecture Notes in Computer Science, page 275-290. Springer, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews