Concepedia

Roel Bloo

RB

Statistics

Publications

4

Citations

111

H-Index

4

Active since

1996

Affiliations

Eindhoven University of Technology(Current)

Roel Bloo is an author at Eindhoven University of Technology specializing in engineering, mathematical programming, and inverse problems.

Top concepts

Publications per year

1996–2011

4

Publications

4

Explicit substitution on the edge of strong normalization

Roel Bloo, Herman Geuvers · Theoretical Computer Science · 1999 · 45 citations

, , +5

The Barendregt Cube with Definitions and Generalised Reduction

Roel Bloo, Fairouz Kamareddine, Rob Nederpelt · Information and Computation · 1996 · 35 citations · Full text

, , +2

On Π-conversion in the λ-cube and the combination with abbreviations

Fairouz Kamareddine, Roel Bloo, Rob Nederpelt · Annals of Pure and Applied Logic · 1999 · 21 citations

, ,

On Explicit Substitution with Names

Kristoffer H. Rose, Roel Bloo, Frédéric Lang · Journal of Automated Reasoning · 2011 · 10 citations

1–4 of 4