A procedure for deciding symbolic equivalence between sets of constraint systems.

Vincent Cheval Hubert Comon-Lundh Stéphanie Delaune

Published in: Inf. Comput. (2017)

Keyphrases

learning systems
management system
intelligent systems
building blocks
database
retrieval systems
connectionist systems