• 26 Citations
1973 …2004

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 26 Citations
  • 7 Report
  • 2 Article
  • 1 Chapter
  • 1 Conference contribution

Bird's-eye view of logic programming

Geldrop, van, H. P. J., 2004, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computer science reports; vol. 0408)

Research output: Book/ReportReportPopular

Open Access
File

Inductive sets, the algebraic way

Geldrop - van Eijk, van, H. P. J. & Woude, van der, J. C. S. P., 2004, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0442)

Research output: Book/ReportReportAcademic

Open Access
File
Open Access
File

Categorical fixed point calculus

Backhouse, R. C., Bijsterveld, M. L. L., Geldrop - van Eijk, van, H. P. J. & Woude, van der, J. C. S. P., 1995, Category Theory and Computer Science (Proceedings 6th International Conference, CTCS'96, Cambridge, UK, August 7-11, 1995). Pitt, D. H., Rydeheard, D. E. & Johnstone, P. (eds.). Berlin: Springer, p. 159-179 (Lecture Notes in Computer Science; vol. 953).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 25 Citations (Scopus)
    1 Downloads (Pure)

    Fixed-point calculus

    Aarts, C., Backhouse, R. C., Boiten, E. A., Doornbos, H., Gasteren, van, A. J. M., Geldrop - van Eijk, van, H. P. J., Hoogendijk, P. F., Voermans, T. S. & Woude, van der, J. C. S. P., 1995, In : Information Processing Letters. 53, 3, p. 131-136

    Research output: Contribution to journalArticleAcademicpeer-review

  • 1 Citation (Scopus)
    3 Downloads (Pure)

    Student theses

    A relational approach to static semantic checking

    Author: van der Meer, A., 31 Dec 2008

    Supervisor: Arnoldus, B. (. (Supervisor 1), van Geldrop - van Eijk, H. (Supervisor 2), van den Brand, M. (Supervisor 2) & Kuiper, R. (Supervisor 2)

    Student thesis: Master

    File

    Het ontwerp van een datadictionary

    Author: Leermakers, P., 30 Apr 1991

    Supervisor: De Bra, P. (Supervisor 1) & van Geldrop - van Eijk, H. (Supervisor 2)

    Student thesis: Master

    Ontwerp en implementatie van een monitor- en accountingsysteem voor de FLEX gebruikersinterface

    Author: van der Peijl, M., 31 Aug 1990

    Supervisor: van Geldrop - van Eijk, H. (Supervisor 1) & Remmen, F. (Supervisor 2)

    Student thesis: Master

    Ontwerp en implementatie van een on-line informatiesysteem voor documentatie

    Author: Schurgers, M., 31 Oct 1990

    Supervisor: De Bra, P. (Supervisor 1), van Geldrop - van Eijk, H. (Supervisor 2) & de Kruijff, R. (External person) (Supervisor 2)

    Student thesis: Master

    Ontwerp en implementatie van een Toolbox voor het uitvoeren van database-applicaties binnen de FLEX gebruikersinterface

    Author: van Hinsberg, M., 31 Aug 1989

    Supervisor: van Geldrop - van Eijk, H. (Supervisor 1) & Remmen, F. (Supervisor 2)

    Student thesis: Master