1 |
| Nebel, Bernhard Nebel (ed.) |
| |
| | 2000 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Ordering Constraints over Feature Trees
In: Constraints [5], 7-41 | Journal Article | |
| | 1999 | Talbot, Jean-Marc
[Niehren, Joachim]
[Müller, Martin] | | Entailment of Atomic Set Constraints is PSPACE-Complete
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 285-294 | Proceedings Article | |
| | 1997 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Inclusion Constraints over Non-empty Sets of Trees
In: Proceedings of the 7th International Joint Conference CAAP/FASE: Theory and practice of software development (TAPSOFT-97), 345-356 | Proceedings Article | |
| | 1997 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | Ordering Constraints over Feature Trees
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | Proceedings Article | |
4 |
| Nieuwenhuis, Robert (ed.) |
| |