Statistics
Publications
7
Citations
272
H-Index
7
Active since
1994
Affiliations
Utrecht University(Current)
B. van Linder is an author at Utrecht University specializing in automated reasoning, computer science, and artificial intelligence.
Publications per year
1994–1999
7
7
B. van Linder, Wiebe van der Hoek, John-Jules Meyer · Journal of Logic Language and Information · 1997 · 14 citations
1–5 of 7