• 26 Citaties
1973 …2004

Research output per year

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

  • 26 Citaties
  • 7 Rapport
  • 2 Tijdschriftartikel
  • 1 Hoofdstuk
  • 1 Conferentiebijdrage

Bird's-eye view of logic programming

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

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand

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 blz. (Computer science reports; vol. 0442)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Open Access
Bestand

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. (redactie). Berlin: Springer, blz. 159-179 (Lecture Notes in Computer Science; vol. 953).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 25 Citaten (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, blz. 131-136

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 1 Citaat (Scopus)
    3 Downloads (Pure)

    Scriptie

    A relational approach to static semantic checking

    Auteur: van der Meer, A., 31 dec 2008

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

    Scriptie/masterproef: Master

    Bestand

    Het ontwerp van een datadictionary

    Auteur: Leermakers, P., 30 apr 1991

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

    Scriptie/masterproef: Master

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

    Auteur: van der Peijl, M., 31 aug 1990

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

    Scriptie/masterproef: Master

    Ontwerp en implementatie van een on-line informatiesysteem voor documentatie

    Auteur: Schurgers, M., 31 okt 1990

    Begeleider: De Bra, P. (Afstudeerdocent 1), van Geldrop - van Eijk, H. (Afstudeerdocent 2) & de Kruijff, R. (Externe persoon) (Afstudeerdocent 2)

    Scriptie/masterproef: Master

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

    Auteur: van Hinsberg, M., 31 aug 1989

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

    Scriptie/masterproef: Master