Confluence Modulo Equivalence in Constraint Handling Rules

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-17822-6_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

A Linear-Logic Semantics for Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Semantics-Preserving Translations Between Linear Concurrent Constraint Programming and Constraint Handling Rules

2010English

Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules

Journal of Applied Logic
Applied MathematicsLogic
2009English

Equivalence Classes of Permutations Modulo Descents and Left-To-Right Maxima

Pure Mathematics and Applications
2015English

Haskell Compiler Testing Automation Based on Equivalence-Modulo-Inputs Method

2019English

Constraint Integration and Violation Handling for BPEL Processes

2009English

Integrity Constraint Enforcement in a Multidatabase Using Distributed Active Rules

1998English

On Meldrum's Rules for Handling Ships in the Southern Indian Ocean.

Proceedings of the Royal Society of London
1888English

From Rules to Constraint Programs With the Rules2CP Modelling Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy