Login / Signup

Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities.

Leslie De Koninck
Published in: Theory Pract. Log. Program. (2009)
Keyphrases