Kennaway, J.R.

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

schema:Person
roepnaam: Richard
rdfs:label "Kennaway, J.R."
schema:name "J.R. Kennaway"
schema:familyName "Kennaway"
schema:givenName "J.R."
schema:description "roepnaam: Richard"
"B9730016: School of Information Systems, Un. of East Anglia, Norwich, U.K."
schema:sameAs <https://isni.org/isni/0000000397233451>
<http://viaf.org/viaf/233675916>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/892bf02768e182872bd6e30a57c801dd>

Inverse relations

[ .. ] → schema:author → Kennaway, J.R.

Meaningless terms in rewriting / R. Kennaway, V. van Oostrom, F.J. de Vriesschema:ProductModel On transfinite abstract reduction systems / J.R. Kennawayschema:ProductModel

[ .. ] → schema:contributor → Kennaway, J.R.

An infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems / J.R. Kennaway ... [et al.]schema:ProductModel Comparing curried and uncurried rewriting / J.R. Kennaway ... [et al.]schema:ProductModel Event structures and orthogonal term graph rewriting / J.R. Kennaway ... [et al.]schema:ProductModel Infinitary lambda calculus / J.R. Kennaway ... [et al.]schema:ProductModel On the adequacy of graph rewriting for simulating term rewriting / J.R. Kennaway ... [et al.]schema:ProductModel On the adequacy of graph rewriting for simulating term rewriting / J.R. Kennaway ... [et al.]schema:ProductModel Transfinite reductions in orthogonal term rewriting systems / J.R. Kennaway ... [et al.]schema:ProductModel Transfinite reductions in orthogonal term rewriting systems : (extended abstract) / J.R. Kennaway ... [et al.]schema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql