Strongly sequential term rewriting systems / Jan Willem Klop, Aart Middeldorp
mainEntity
Strongly sequential term rewriting systems / Jan Willem Klop, Aart Middeldorp
about
author
contributor
inLanguage
mainEntityOfPage
name
Strongly sequential term rewriting systems
numberOfPages
publication
sameAs
label
Strongly sequential term rewriting systems / Jan Willem Klop, Aart Middeldorp