Dimitri Hendriks

Dimitri Hendriks

VU University of Amsterdam - Amsterdam / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 4304653
Vrije Universiteit Amsterdam
person_outline Dimitri Hendriks's MOST POPULAR ARTICLES
1-) Productivity of Stream DefinitionsJ Endrullis, C Grabmayer, D Hendriks, A Isihara, JW KlopTheoretical Computer Science 411 (4), 765-782, 2010832010
2-) Data-oblivious stream productivityJ Endrullis, C Grabmayer, D HendriksInternational Conference on Logic for Programming Artificial Intelligence …, 2008582008
3-) Automated proof construction in type theory using resolutionM Bezem, D Hendriks, H de NivelleJournal of Automated Reasoning 29 (3), 253-275, 2002562002
4-) Productivity of Stream DefinitionsJ Endrullis, C Grabmayer, D Hendriks, A Isihara, JW KlopFundamentals of Computation Theory (FCT 2007), 274-287, 2007392007
5-) AdbmalD Hendriks, V van OostromAutomated Deduction-CADE-19: 19th International Conference on Automated …, 200336*2003