A decision procedure for a decidable fragment of generalized constraint diagrams

James Burton, Gem Stapleton, Ali Hamie

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'A decision procedure for a decidable fragment of generalized constraint diagrams'. Together they form a unique fingerprint.