Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Henning Christiansen

Confluence Modulo Equivalence in Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Simplification of Integrity Constraints for Data Integration

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

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

Journal of Applied Logic
Applied MathematicsLogic
2009English

Logic Grammars for Diagnosis and Repair

International Journal on Artificial Intelligence Tools
Artificial Intelligence
2003English

Related publications

On an Analogue of Titchmarsh’s Divisor Problem for Holomorphic Cusp Forms

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2012English

Uniqueness of Enhancement for Triangulated Categories

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2010English

The Archimedean Theory of the Exterior Square $L$-Functions Over $\Mathbb{Q}$

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2012English

Intersecting Families of Permutations

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2011English

Proof of Aldous’ Spectral Gap Conjecture

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2010English

W$^{*}$–superrigidity for Bernoulli Actions of Property (T) Groups

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2011English

Appendix and Erratum to “Massey Products for Elliptic Curves of Rank 1”

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2011English

The Complex Monge-Ampère Equation on Compact Hermitian Manifolds

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2010English

Commutators on $L_p$, $1{\leq }P <\infty $

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2012English

The Vlasov-Poisson-Landau System in a Periodic Box

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy