`Travelled to:`

1 × Austria

1 × France

1 × Italy

1 × USA

`Collaborated with:`

Y.Hodé ∅ M.Dauchet R.Gilleron

`Talks about:`

ground (2) imag (2) threshold (1) reachabl (1) approach (1) theorem (1) segment (1) problem (1) extract (1) consist (1)

## Person: Aline Deruyver

### DBLP: Deruyver:Aline

### Contributed to:

### Wrote 5 papers:

- KDIR-2011-DeruyverH #approach #consistency #graph #image #information management #semantics
- Semantic Graphs and Arc Consistency Checking — The Renewal of an Old Approach for Information Extraction from Images (AD, YH), pp. 515–522.
- ICPR-1996-DeruyverH #automation #image #multi #segmentation #using
- Automatic multi-thresholdable image segmentation by using separating bipoints (AD, YH), pp. 457–461.
- RTA-1991-Deruyver #equation #first-order #logic #named #proving #theorem proving
- EMMY: A Refutational Theorem Prover for First-Order Logic with Equation (AD), pp. 439–441.
- RTA-1989-DauchetD #compilation #term rewriting
- Compilation of Ground Term Rewriting Systems and Applications (MD, AD), pp. 556–558.
- CAAP-1989-DeruyverG #problem #reachability
- The Reachability Problem for Ground TRS and Some Extensions (AD, RG), pp. 227–243.