Marc Meister

According to our database¹, Marc Meister authored at least 4 papers between 2006 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

Advances in constraint handling rules.

[BibT_eX]

[DOI]

PhD thesis, 2008

2007

A Unified Semantics for Constraint Handling Rules in Transaction Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006

Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR.

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop on Logic Programming, 2006

Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2006