Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Maja H. Kirkeby
Confluence Modulo Equivalence in Constraint Handling Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Linear-Logic Semantics for Constraint Handling Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Semantics-Preserving Translations Between Linear Concurrent Constraint Programming and Constraint Handling Rules
Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules
Journal of Applied Logic
Applied Mathematics
Logic
Equivalence Classes of Permutations Modulo Descents and Left-To-Right Maxima
Pure Mathematics and Applications
Haskell Compiler Testing Automation Based on Equivalence-Modulo-Inputs Method
Constraint Integration and Violation Handling for BPEL Processes
Integrity Constraint Enforcement in a Multidatabase Using Distributed Active Rules
On Meldrum's Rules for Handling Ships in the Southern Indian Ocean.
Proceedings of the Royal Society of London
From Rules to Constraint Programs With the Rules2CP Modelling Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
