Searching for authors named "Bruno Berstel" – sorted by Relevance.
-
Extending a CP solver with congruences as domains for program verification
- and Bruno Berstel 1,2 1 ILOG 9, rue de Verdun – 93250 Gentilly – France 2 Max-Planck-Institut für Informatik
- Cited by 2 (0 self) – Add To MetaCart
-
Reactive rules on the web
- Reactive Rules on the Web Bruno Berstel 1 , Philippe Bonnard 1 , François Bry 2 , Michael Eckert 2
- Cited by 4 (4 self) – Add To MetaCart

