Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hariolf Betz
A Linear-Logic Semantics for Constraint Handling Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Semantics-Preserving Translations Between Linear Concurrent Constraint Programming and Constraint Handling Rules
Confluence Modulo Equivalence in Constraint Handling Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Active-Constraint Logic for Non-Linear Programming
Optimal Control Applications and Methods
Control
Systems Engineering
Applied Mathematics
Optimization
Software
A Phase Semantics for Polarized Linear Logic and Second Order Conservativity
Journal of Symbolic Logic
Philosophy
Logic
Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules
Journal of Applied Logic
Applied Mathematics
Logic
A Labelled Semantics for Soft Concurrent Constraint Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Closures and Modules Within Linear Logic Concurrent Constraint Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bialgebraic Semantics for Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Truthmaker Semantics for Relevant Logic
Journal of Philosophical Logic
Philosophy
