Reduction strategy

Property	Value
rdf:type	owl:NamedIndividual Rewriting system
rdfs:label	Reduction strategy
owl:sameAs	dbr:Reduction_strategy
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Rewriting_systems
skos:prefLabel	Reduction strategy
skos:altLabel	Leftmost-innermost (one-step) strategy Leftmost-outermost (one-step) strategy Optimal reduction Reduction strategy#Lambda calculus Reduction strategy#Term rewriting reduction strategy

About: clgr:Reduction_strategy