Operational termination of conditional term rewriting systems

Salvador Lucas, Claude Marché, José Meseguer

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Operational termination of conditional term rewriting systems'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science