DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Rewriting> ?p ?o }

• Rewriting abstract "In mathematics, computer science, and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a formula with other terms. What is considered are rewriting systems (also known as rewrite systems, rewrite engines or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects.Rewriting can be non-deterministic. One rule to rewrite a term could be applied in many different ways to that term, or more than one rule could be applicable. Rewriting systems then do not provide an algorithm for changing one term to another, but a set of possible rule applications. When combined with an appropriate algorithm, however, rewrite systems can be viewed as computer programs, and several declarative programming languages are based on term rewriting.".
• Rewriting wikiPageExternalLink dershowitz90rewrite.html.
• Rewriting wikiPageExternalLink index.php.
• Rewriting wikiPageExternalLink CS-TR-80-785.pdf.
• Rewriting wikiPageExternalLink rewriting.loria.fr.
• Rewriting wikiPageExternalLink plaisted.ps.gz.
• Rewriting wikiPageExternalLink IFIP-WG1.6.
• Rewriting wikiPageExternalLink hand-final.pdf.
• Rewriting wikiPageExternalLink www.termination-portal.org.
• Rewriting wikiPageID "415847".
• Rewriting wikiPageLength "32733".
• Rewriting wikiPageOutDegree "126".
• Rewriting wikiPageRevisionID "698782291".
• Rewriting wikiPageWikiLink Aart_Middeldorp.
• Rewriting wikiPageWikiLink Algorithm.
• Rewriting wikiPageWikiLink Alonzo_Church.
• Rewriting wikiPageWikiLink Alphabet_(formal_languages).
• Rewriting wikiPageWikiLink Andrei_Voronkov.
• Rewriting wikiPageWikiLink Bicyclic_semigroup.
• Rewriting wikiPageWikiLink Binary_relation.
• Rewriting wikiPageWikiLink C._J._Hogger.
• Rewriting wikiPageWikiLink Category:Formal_languages.
• Rewriting wikiPageWikiLink Category:Logic_in_computer_science.
• Rewriting wikiPageWikiLink Category:Mathematical_logic.
• Rewriting wikiPageWikiLink Category:Rewriting_systems.
• Rewriting wikiPageWikiLink Causality.
• Rewriting wikiPageWikiLink Church–Rosser_theorem.
• Rewriting wikiPageWikiLink Closure_(mathematics).
• Rewriting wikiPageWikiLink Composition_of_relations.
• Rewriting wikiPageWikiLink Computer_program.
• Rewriting wikiPageWikiLink Computer_science.
• Rewriting wikiPageWikiLink Congruence_relation.
• Rewriting wikiPageWikiLink Conjunctive_normal_form.
• Rewriting wikiPageWikiLink Critical_pair_(logic).
• Rewriting wikiPageWikiLink David_Plaisted.
• Rewriting wikiPageWikiLink De_Morgans_laws.
• Rewriting wikiPageWikiLink Declarative_programming.
• Rewriting wikiPageWikiLink Deterministic_automaton.
• Rewriting wikiPageWikiLink Distributive_property.
• Rewriting wikiPageWikiLink Double_negation.
• Rewriting wikiPageWikiLink Dov_Gabbay.
• Rewriting wikiPageWikiLink Elaine_Weyuker.
• Rewriting wikiPageWikiLink Empty_string.
• Rewriting wikiPageWikiLink Equality_(mathematics).
• Rewriting wikiPageWikiLink Equivalence_relation.
• Rewriting wikiPageWikiLink Free_group.
• Rewriting wikiPageWikiLink Free_monoid.
• Rewriting wikiPageWikiLink Generative_grammar.
• Rewriting wikiPageWikiLink Graph_(discrete_mathematics).
• Rewriting wikiPageWikiLink Graph_rewriting.
• Rewriting wikiPageWikiLink Ground_expression.
• Rewriting wikiPageWikiLink Gérard_Huet.
• Rewriting wikiPageWikiLink Handbook_of_Automated_Reasoning.
• Rewriting wikiPageWikiLink Handbook_of_Logic_in_Artificial_Intelligence_and_Logic_Programming.
• Rewriting wikiPageWikiLink Handbook_of_Logic_in_Computer_Science.
• Rewriting wikiPageWikiLink Handbook_of_Theoretical_Computer_Science.
• Rewriting wikiPageWikiLink History_monoid.
• Rewriting wikiPageWikiLink Inverse_relation.
• Rewriting wikiPageWikiLink Isomorphism.
• Rewriting wikiPageWikiLink J._Barkley_Rosser.
• Rewriting wikiPageWikiLink Jan_Willem_Klop.
• Rewriting wikiPageWikiLink Jan_van_Leeuwen.
• Rewriting wikiPageWikiLink Jean-Pierre_Jouannaud.
• Rewriting wikiPageWikiLink John_Alan_Robinson.
• Rewriting wikiPageWikiLink Knuth–Bendix_completion_algorithm.
• Rewriting wikiPageWikiLink L-system.
• Rewriting wikiPageWikiLink Lambda_calculus.
• Rewriting wikiPageWikiLink Lecture_Notes_in_Computer_Science.
• Rewriting wikiPageWikiLink Linguistics.
• Rewriting wikiPageWikiLink Logic.
• Rewriting wikiPageWikiLink Logical_equivalence.
• Rewriting wikiPageWikiLink Marc_Bezem.
• Rewriting wikiPageWikiLink Martin_Davis.
• Rewriting wikiPageWikiLink Mathematics.
• Rewriting wikiPageWikiLink Michael_M._Richter.
• Rewriting wikiPageWikiLink Monoid.
• Rewriting wikiPageWikiLink Morpheme.
• Rewriting wikiPageWikiLink Nachum_Dershowitz.
• Rewriting wikiPageWikiLink Newmans_lemma.
• Rewriting wikiPageWikiLink Nondeterministic_algorithm.
• Rewriting wikiPageWikiLink Noun_phrase.
• Rewriting wikiPageWikiLink Path_ordering_(term_rewriting).
• Rewriting wikiPageWikiLink Pattern_matching.
• Rewriting wikiPageWikiLink Phrase_structure_rules.
• Rewriting wikiPageWikiLink Preorder.
• Rewriting wikiPageWikiLink Preprint.
• Rewriting wikiPageWikiLink Presentation_of_a_monoid.
• Rewriting wikiPageWikiLink Referential_transparency.
• Rewriting wikiPageWikiLink Reflexive_relation.
• Rewriting wikiPageWikiLink Regulated_rewriting.
• Rewriting wikiPageWikiLink Rewrite_order.
• Rewriting wikiPageWikiLink Rho_calculus.
• Rewriting wikiPageWikiLink Roel_de_Vrijer.
• Rewriting wikiPageWikiLink Ron_Sigal.
• Rewriting wikiPageWikiLink Ronald_V._Book.
• Rewriting wikiPageWikiLink Samson_Abramsky.
• Rewriting wikiPageWikiLink Semigroup.
• Rewriting wikiPageWikiLink Sentence_(linguistics).
• Rewriting wikiPageWikiLink Signature_(logic).
• Rewriting wikiPageWikiLink String_(computer_science).

• next