Geuvers, Jan Herman (1964-)

<http://data.bibliotheken.nl/id/thes/p110473930>

schema:Person
prof. dr. Radboud
rdfs:label "Geuvers, Jan Herman (1964-)"
schema:name "Jan Herman Geuvers"
schema:familyName "Geuvers"
schema:givenName "Jan Herman"
schema:alternateName "Geuvers, J.H."
schema:description "prof. dr. Radboud"
schema:birthDate "1964"
schema:sameAs <http://viaf.org/viaf/85371066>
wd:Q102280622
<https://isni.org/isni/000000011494641X>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/14ab35d7f0eb1061b6f324f79a2951dd>

Inverse relations

[ .. ] → schema:contributor → Geuvers, Jan Herman (1964-)

Explicit substitution: on the edge of strong normalisation / by R. Bloo and H. Geuversschema:ProductModel Selected papers on Automath / ed. by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalenschema:ProductModel

[ .. ] → schema:author → Geuvers, Jan Herman (1964-)

A short and flexible proof of strong normalization for the calculus of construction / by Herman Geuversschema:ProductModel Computer-ondersteund redeneren: de boekhouder steunt de denker / Herman Geuversschema:ProductModel Computer-ondersteund redeneren: de boekhouder steunt de denker / Herman Geuversschema:ProductModel Logics and type systems / Jan Herman Geuversschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql