Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Normalization_property_(abstract_rewriting)> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- Normalization_property_(abstract_rewriting) abstract "In mathematical logic and theoretical computer science, a rewrite system has the strong normalization property (in short: the normalization property) if every term is strongly normalizing; that is, if every sequence of rewrites eventually terminates to a term in normal form. A rewrite system may also have the weak normalization property, meaning that for every term, there exists at least one particular sequence of rewrites that eventually yields a normal form.".
- Normalization_property_(abstract_rewriting) wikiPageExternalLink books?id=N7BvXVUCQk8C&dq.
- Normalization_property_(abstract_rewriting) wikiPageID "1785757".
- Normalization_property_(abstract_rewriting) wikiPageRevisionID "576210070".
- Normalization_property_(abstract_rewriting) hasPhotoCollection Normalization_property_(abstract_rewriting).
- Normalization_property_(abstract_rewriting) subject Category:Lambda_calculus.
- Normalization_property_(abstract_rewriting) subject Category:Logic_in_computer_science.
- Normalization_property_(abstract_rewriting) comment "In mathematical logic and theoretical computer science, a rewrite system has the strong normalization property (in short: the normalization property) if every term is strongly normalizing; that is, if every sequence of rewrites eventually terminates to a term in normal form. A rewrite system may also have the weak normalization property, meaning that for every term, there exists at least one particular sequence of rewrites that eventually yields a normal form.".
- Normalization_property_(abstract_rewriting) label "Normalization property (abstract rewriting)".
- Normalization_property_(abstract_rewriting) label "Propriedades de Normalização (reescrita abstrata)".
- Normalization_property_(abstract_rewriting) label "规范化性质".
- Normalization_property_(abstract_rewriting) sameAs Propriedades_de_Normalização_(reescrita_abstrata).
- Normalization_property_(abstract_rewriting) sameAs m.05wrv8.
- Normalization_property_(abstract_rewriting) sameAs Q3890222.
- Normalization_property_(abstract_rewriting) sameAs Q3890222.
- Normalization_property_(abstract_rewriting) wasDerivedFrom Normalization_property_(abstract_rewriting)?oldid=576210070.
- Normalization_property_(abstract_rewriting) isPrimaryTopicOf Normalization_property_(abstract_rewriting).