Nr. 32 (1994): RS-32 Decidability of Systems of Set Constraints with Negative Constraints

Publiceret: 1994-10-13

Artikler