Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Normalization_property_(abstract_rewriting)> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples per page.
- Normalization_property_(abstract_rewriting) abstract "In mathematical logic and theoretical computer science, a rewrite system has the (strong) normalization property or is terminating if every term is strongly normalizing; that is, if every sequence of rewrites eventually terminates with an irreducible term, also called a 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, i.e., an irreducible term.".
- Normalization_property_(abstract_rewriting) wikiPageExternalLink books?id=N7BvXVUCQk8C&dq.
- Normalization_property_(abstract_rewriting) wikiPageID "1785757".
- Normalization_property_(abstract_rewriting) wikiPageLength "3694".
- Normalization_property_(abstract_rewriting) wikiPageOutDegree "23".
- Normalization_property_(abstract_rewriting) wikiPageRevisionID "698747175".
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Calculus_of_constructions.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Category:Lambda_calculus.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Category:Logic_in_computer_science.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Interpreter_(computing).
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Jean-Yves_Girard.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Lambda_calculus.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Mathematical_logic.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Newmans_lemma.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Normal_form_(abstract_rewriting).
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Pure_type_system.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Rewriting.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Simply_typed_lambda_calculus.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink System_F.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Termination_analysis.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Theoretical_computer_science.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Thierry_Coquand.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Total_functional_programming.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Turing_completeness.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Typed_lambda_calculus.
- Normalization_property_(abstract_rewriting) wikiPageWikiLinkText "Normalization property (abstract rewriting)".
- Normalization_property_(abstract_rewriting) wikiPageWikiLinkText "Normalization property".
- Normalization_property_(abstract_rewriting) wikiPageWikiLinkText "normalized".
- Normalization_property_(abstract_rewriting) wikiPageWikiLinkText "normalizing".
- Normalization_property_(abstract_rewriting) wikiPageWikiLinkText "strong normalization".
- Normalization_property_(abstract_rewriting) wikiPageWikiLinkText "strongly normalizing".
- Normalization_property_(abstract_rewriting) wikiPageWikiLinkText "weak normalization".
- Normalization_property_(abstract_rewriting) wikiPageUsesTemplate Template:Citation_needed.
- Normalization_property_(abstract_rewriting) wikiPageUsesTemplate Template:Cite_book.
- Normalization_property_(abstract_rewriting) wikiPageUsesTemplate Template:Reflist.
- Normalization_property_(abstract_rewriting) subject Category:Lambda_calculus.
- Normalization_property_(abstract_rewriting) subject Category:Logic_in_computer_science.
- Normalization_property_(abstract_rewriting) type Model.
- Normalization_property_(abstract_rewriting) type Model.
- Normalization_property_(abstract_rewriting) type Redirect.
- Normalization_property_(abstract_rewriting) comment "In mathematical logic and theoretical computer science, a rewrite system has the (strong) normalization property or is terminating if every term is strongly normalizing; that is, if every sequence of rewrites eventually terminates with an irreducible term, also called a 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, i.e., an irreducible term.".
- Normalization_property_(abstract_rewriting) label "Normalization property (abstract rewriting)".
- Normalization_property_(abstract_rewriting) sameAs Q3890222.
- Normalization_property_(abstract_rewriting) sameAs Normaliga_propraĵo_(lambda-kalkulo).
- Normalization_property_(abstract_rewriting) sameAs Propriedades_de_normalização_forte_e_fraca.
- Normalization_property_(abstract_rewriting) sameAs m.05wrv8.
- Normalization_property_(abstract_rewriting) sameAs Q3890222.
- Normalization_property_(abstract_rewriting) sameAs 规范化性质.
- Normalization_property_(abstract_rewriting) wasDerivedFrom Normalization_property_(abstract_rewriting)?oldid=698747175.
- Normalization_property_(abstract_rewriting) isPrimaryTopicOf Normalization_property_(abstract_rewriting).