Concepedia

C.J. Aarts

CA

Statistics

Publications

2

Citations

145

H-Index

2

Active since

1992

Affiliations

Utrecht University(Current)

C.J. Aarts is an author at Utrecht University specializing in automated reasoning, data integration, and data science.

Top concepts

Publications per year

1992–1995

2

Publications

2

Fixed-point calculus

C.J. Aarts, Roland Backhouse, Eerke Boiten et al. · Information Processing Letters · 1995 · 73 citations

A relational theory of datatypes

C.J. Aarts, Roland Backhouse, Paul Hoogendijk et al. · TU/e Research Portal (Eindhoven University of Technology) · 1992 · 72 citations · Full text

, , +7

1–2 of 2