Matches in SemOpenAlex for { <https://semopenalex.org/work/W2911454932> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2911454932 startingPage "577" @default.
- W2911454932 abstract "Term rewriting is an important computational model with applications in algebra, software engineering, declarative programming, and theorem proving. In term rewriting, computation is achieved by directed equations and pattern matching. In this tutorial we give an introduction to term rewriting.The tutorial is organized as follows. After presenting several motivating examples, we explain the basic concepts and results in term rewriting: abstract rewriting, equational reasoning, termination techniques, confluence criteria, completion, strategies, and modularity. The tutorial concludes with a selection of more specialized topics as well as more recent developments in term rewriting: narrowing, advanced termination techniques (dependency pairs), conditional rewriting, rewriting modulo, tree automata techniques, and higher-order rewriting." @default.
- W2911454932 created "2019-02-21" @default.
- W2911454932 creator A5049118633 @default.
- W2911454932 date "1999-09-20" @default.
- W2911454932 modified "2023-09-23" @default.
- W2911454932 title "Term Rewriting" @default.
- W2911454932 cites W1583295953 @default.
- W2911454932 cites W2126018011 @default.
- W2911454932 hasPublicationYear "1999" @default.
- W2911454932 type Work @default.
- W2911454932 sameAs 2911454932 @default.
- W2911454932 citedByCount "0" @default.
- W2911454932 crossrefType "proceedings-article" @default.
- W2911454932 hasAuthorship W2911454932A5049118633 @default.
- W2911454932 hasConcept C118615104 @default.
- W2911454932 hasConcept C121332964 @default.
- W2911454932 hasConcept C154690210 @default.
- W2911454932 hasConcept C199360897 @default.
- W2911454932 hasConcept C206880738 @default.
- W2911454932 hasConcept C33923547 @default.
- W2911454932 hasConcept C41008148 @default.
- W2911454932 hasConcept C54732982 @default.
- W2911454932 hasConcept C61797465 @default.
- W2911454932 hasConcept C62520636 @default.
- W2911454932 hasConcept C77906462 @default.
- W2911454932 hasConcept C80444323 @default.
- W2911454932 hasConcept C96146094 @default.
- W2911454932 hasConceptScore W2911454932C118615104 @default.
- W2911454932 hasConceptScore W2911454932C121332964 @default.
- W2911454932 hasConceptScore W2911454932C154690210 @default.
- W2911454932 hasConceptScore W2911454932C199360897 @default.
- W2911454932 hasConceptScore W2911454932C206880738 @default.
- W2911454932 hasConceptScore W2911454932C33923547 @default.
- W2911454932 hasConceptScore W2911454932C41008148 @default.
- W2911454932 hasConceptScore W2911454932C54732982 @default.
- W2911454932 hasConceptScore W2911454932C61797465 @default.
- W2911454932 hasConceptScore W2911454932C62520636 @default.
- W2911454932 hasConceptScore W2911454932C77906462 @default.
- W2911454932 hasConceptScore W2911454932C80444323 @default.
- W2911454932 hasConceptScore W2911454932C96146094 @default.
- W2911454932 hasLocation W29114549321 @default.
- W2911454932 hasOpenAccess W2911454932 @default.
- W2911454932 hasPrimaryLocation W29114549321 @default.
- W2911454932 hasRelatedWork W1032572692 @default.
- W2911454932 hasRelatedWork W1493731753 @default.
- W2911454932 hasRelatedWork W1533534652 @default.
- W2911454932 hasRelatedWork W1540190633 @default.
- W2911454932 hasRelatedWork W1553525076 @default.
- W2911454932 hasRelatedWork W1576552759 @default.
- W2911454932 hasRelatedWork W1596240173 @default.
- W2911454932 hasRelatedWork W1606338408 @default.
- W2911454932 hasRelatedWork W1636139685 @default.
- W2911454932 hasRelatedWork W2011361820 @default.
- W2911454932 hasRelatedWork W2141699417 @default.
- W2911454932 hasRelatedWork W2154580607 @default.
- W2911454932 hasRelatedWork W2204418553 @default.
- W2911454932 hasRelatedWork W2287769028 @default.
- W2911454932 hasRelatedWork W2386272912 @default.
- W2911454932 hasRelatedWork W2573017149 @default.
- W2911454932 hasRelatedWork W2953354833 @default.
- W2911454932 hasRelatedWork W3083562928 @default.
- W2911454932 hasRelatedWork W3142758229 @default.
- W2911454932 hasRelatedWork W572432674 @default.
- W2911454932 isParatext "false" @default.
- W2911454932 isRetracted "false" @default.
- W2911454932 magId "2911454932" @default.
- W2911454932 workType "article" @default.