WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/891317321

Termination of higher-order rewrite systems

Open All Close All

type

about

alternateName

http://schema.org/alternateName

  • "Terminatie van hogere-orde herschrijfsystemen"

author

contributor

creator

genre

http://schema.org/genre

  • "Abhandlung"
  • "Proefschriften (vorm)"

name

http://schema.org/name

  • "Termination of higher-order rewrite systems"
  • "Termination of higher-order rewrite systems = Terminatie van hogere-orde herschrijfsystemen : (met een samenvatting in het Nederlands)"
  • "Termination of higher order rewrite systems"
  • "Termination of higher-order rewrite systems = Terminatie van hogere-orde herschrijfsystemen"

workExample