Deductive Generation of Constraint Propagation Rules

Authors
  • S. Brand
  • E. Monfroy
Publication date 2003
Journal Electronic Notes in Theoretical Computer Science
Event 4th International Workshop on rule-Based Programming, Valencia, Spain
Volume | Issue number 86 | 2
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Note In: 4th International Workshop on Rule-Based Programming, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, 20030612/13, edited by Germán Vidal.
Language English
Permalink to this page
Back