dblp.uni-trier.dewww.uni-trier.de

Marc Meister

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEMarc Meister, Khalil Djelloul, Jacques Robin: A Unified Semantics for Constraint Handling Rules in Transaction Logic. LPNMR 2007: 201-213
2006
3EEMarc Meister, Khalil Djelloul, Thom W. Frühwirth: Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. CSCLP 2006: 139-153
2EEMarc Meister: Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. WLP 2006: 172-181
2005
1EEArmin Wolf, Thom W. Frühwirth, Marc Meister: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005 Universität Ulm, Germany 2005

Coauthor Index

1Khalil Djelloul [3] [4]
2Thom W. Frühwirth [1] [3]
3Jacques Robin [4]
4Armin Wolf [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)