Data Portal @ linkeddatafragments.org
Harvard
Search Harvard by triple pattern
subject
predicate
object
Matches in Harvard for
{ ?s ?p Strong Normalisation for a Gentzen-like Cut-Elimination Procedure.. }
Showing items 1 to 2 of
2
with
100
items per page.
catalog
description
"
Strong Normalisation for a Gentzen-like Cut-Elimination Procedure.
"
.
catalog
tableOfContents
"
Strong Normalisation for a Gentzen-like Cut-Elimination Procedure.
"
.
