Checking Overlaps of Nominal Rewriting Rules

Mauricio Ayala-Rincón, Maribel Fernández, Jamie Gabbay, Ana Cristina Rocha-Oliveira

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)
158 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Checking Overlaps of Nominal Rewriting Rules'. Together they form a unique fingerprint.

Computer Science

INIS