Searching for authors named "Bruno Berstel" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Extending a CP solver with congruences as domains for program verification
by Michel Leconte, Bruno Berstel — 2006 — In CP Workshop on Software Testing, Verification and Analysis
… 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
by Bruno Berstel, François Bry, Michael Eckert, Paula-lavinia Pătrânjan — 2007 — In Reasoning Web, Int. Summer School, LNCS
…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

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB