FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Confluence in Constraint Handling Rules

Authors: Henning Christiansen and Maja H. Kirkeby

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Confluence in Constraint Handling Rules
Authors:Henning Christiansen and Maja H. Kirkeby
Proceedings:IWC Final papers
Editors: Jakob Grue Simonsen and Bertram Felgenhauer
Keywords:
Abstract:
Pages:9
Paper: