Matches in SemOpenAlex for { <https://semopenalex.org/work/W2573017149> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2573017149 endingPage "20" @default.
- W2573017149 startingPage "1" @default.
- W2573017149 abstract "Term rewriting systems are important for computability theory of abstract data types, for automatic theorem proving, and for the foundations of functional programming. In this short survey we present, starting from first principles, several of the basic notions and facts in the area of term rewriting. Our treatment, which often will be informal, covers abstract rewriting, Combinatory Logic, orthogonal systems, strategies, critical pair completion, and some extended rewriting formats." @default.
- W2573017149 created "2017-01-26" @default.
- W2573017149 creator A5013710541 @default.
- W2573017149 date "1990-01-01" @default.
- W2573017149 modified "2023-09-23" @default.
- W2573017149 title "Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond" @default.
- W2573017149 hasPublicationYear "1990" @default.
- W2573017149 type Work @default.
- W2573017149 sameAs 2573017149 @default.
- W2573017149 citedByCount "0" @default.
- W2573017149 crossrefType "journal-article" @default.
- W2573017149 hasAuthorship W2573017149A5013710541 @default.
- W2573017149 hasConcept C118615104 @default.
- W2573017149 hasConcept C121332964 @default.
- W2573017149 hasConcept C136119220 @default.
- W2573017149 hasConcept C152062344 @default.
- W2573017149 hasConcept C154690210 @default.
- W2573017149 hasConcept C199343813 @default.
- W2573017149 hasConcept C199360897 @default.
- W2573017149 hasConcept C202444582 @default.
- W2573017149 hasConcept C2777686260 @default.
- W2573017149 hasConcept C33923547 @default.
- W2573017149 hasConcept C41008148 @default.
- W2573017149 hasConcept C61797465 @default.
- W2573017149 hasConcept C62520636 @default.
- W2573017149 hasConcept C71924100 @default.
- W2573017149 hasConcept C77906462 @default.
- W2573017149 hasConceptScore W2573017149C118615104 @default.
- W2573017149 hasConceptScore W2573017149C121332964 @default.
- W2573017149 hasConceptScore W2573017149C136119220 @default.
- W2573017149 hasConceptScore W2573017149C152062344 @default.
- W2573017149 hasConceptScore W2573017149C154690210 @default.
- W2573017149 hasConceptScore W2573017149C199343813 @default.
- W2573017149 hasConceptScore W2573017149C199360897 @default.
- W2573017149 hasConceptScore W2573017149C202444582 @default.
- W2573017149 hasConceptScore W2573017149C2777686260 @default.
- W2573017149 hasConceptScore W2573017149C33923547 @default.
- W2573017149 hasConceptScore W2573017149C41008148 @default.
- W2573017149 hasConceptScore W2573017149C61797465 @default.
- W2573017149 hasConceptScore W2573017149C62520636 @default.
- W2573017149 hasConceptScore W2573017149C71924100 @default.
- W2573017149 hasConceptScore W2573017149C77906462 @default.
- W2573017149 hasLocation W25730171491 @default.
- W2573017149 hasOpenAccess W2573017149 @default.
- W2573017149 hasPrimaryLocation W25730171491 @default.
- W2573017149 hasRelatedWork W1493731753 @default.
- W2573017149 hasRelatedWork W1503837378 @default.
- W2573017149 hasRelatedWork W1511599464 @default.
- W2573017149 hasRelatedWork W1533534652 @default.
- W2573017149 hasRelatedWork W1553525076 @default.
- W2573017149 hasRelatedWork W1574609262 @default.
- W2573017149 hasRelatedWork W1576552759 @default.
- W2573017149 hasRelatedWork W1581739647 @default.
- W2573017149 hasRelatedWork W1596240173 @default.
- W2573017149 hasRelatedWork W1606338408 @default.
- W2573017149 hasRelatedWork W2022122724 @default.
- W2573017149 hasRelatedWork W2053867970 @default.
- W2573017149 hasRelatedWork W2072206537 @default.
- W2573017149 hasRelatedWork W2154580607 @default.
- W2573017149 hasRelatedWork W2594012524 @default.
- W2573017149 hasRelatedWork W2911454932 @default.
- W2573017149 hasRelatedWork W3142758229 @default.
- W2573017149 hasRelatedWork W572432674 @default.
- W2573017149 hasRelatedWork W645451783 @default.
- W2573017149 hasRelatedWork W8727156 @default.
- W2573017149 isParatext "false" @default.
- W2573017149 isRetracted "false" @default.
- W2573017149 magId "2573017149" @default.
- W2573017149 workType "article" @default.