Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109047072> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2109047072 abstract "We present a polynomial time algorithm for deciding confluence of ground term rewrite systems. We generalize the decision procedure to get a polynomial time algorithm, assuming that the maximum arity of a symbol in the signature is a constant, for deciding confluence of rewrite systems where each rule contains a shallow linear term on one side and a ground term on the other. The existence of a polynomial time algorithm for deciding confluence of ground rewrite systems was open for a long time and was independently solved only recently. Our decision procedure is based on the concepts of abstract congruence closure and abstract rewrite closure." @default.
- W2109047072 created "2016-06-24" @default.
- W2109047072 creator A5086308451 @default.
- W2109047072 date "2003-06-25" @default.
- W2109047072 modified "2023-10-02" @default.
- W2109047072 title "Deciding confluence of certain term rewriting systems in polynomial time" @default.
- W2109047072 cites W1593799327 @default.
- W2109047072 cites W1962948261 @default.
- W2109047072 cites W1963677040 @default.
- W2109047072 cites W2000346568 @default.
- W2109047072 cites W2036985061 @default.
- W2109047072 cites W2037163667 @default.
- W2109047072 cites W2047447540 @default.
- W2109047072 cites W2086747974 @default.
- W2109047072 cites W2109893633 @default.
- W2109047072 cites W2126158904 @default.
- W2109047072 cites W2149241959 @default.
- W2109047072 doi "https://doi.org/10.1109/lics.2002.1029852" @default.
- W2109047072 hasPublicationYear "2003" @default.
- W2109047072 type Work @default.
- W2109047072 sameAs 2109047072 @default.
- W2109047072 citedByCount "7" @default.
- W2109047072 countsByYear W21090470722016 @default.
- W2109047072 countsByYear W21090470722018 @default.
- W2109047072 crossrefType "proceedings-article" @default.
- W2109047072 hasAuthorship W2109047072A5086308451 @default.
- W2109047072 hasConcept C110546421 @default.
- W2109047072 hasConcept C11413529 @default.
- W2109047072 hasConcept C118615104 @default.
- W2109047072 hasConcept C121332964 @default.
- W2109047072 hasConcept C134306372 @default.
- W2109047072 hasConcept C146834321 @default.
- W2109047072 hasConcept C154690210 @default.
- W2109047072 hasConcept C162324750 @default.
- W2109047072 hasConcept C199360897 @default.
- W2109047072 hasConcept C311688 @default.
- W2109047072 hasConcept C33923547 @default.
- W2109047072 hasConcept C34447519 @default.
- W2109047072 hasConcept C41008148 @default.
- W2109047072 hasConcept C61797465 @default.
- W2109047072 hasConcept C62520636 @default.
- W2109047072 hasConcept C77906462 @default.
- W2109047072 hasConcept C90119067 @default.
- W2109047072 hasConceptScore W2109047072C110546421 @default.
- W2109047072 hasConceptScore W2109047072C11413529 @default.
- W2109047072 hasConceptScore W2109047072C118615104 @default.
- W2109047072 hasConceptScore W2109047072C121332964 @default.
- W2109047072 hasConceptScore W2109047072C134306372 @default.
- W2109047072 hasConceptScore W2109047072C146834321 @default.
- W2109047072 hasConceptScore W2109047072C154690210 @default.
- W2109047072 hasConceptScore W2109047072C162324750 @default.
- W2109047072 hasConceptScore W2109047072C199360897 @default.
- W2109047072 hasConceptScore W2109047072C311688 @default.
- W2109047072 hasConceptScore W2109047072C33923547 @default.
- W2109047072 hasConceptScore W2109047072C34447519 @default.
- W2109047072 hasConceptScore W2109047072C41008148 @default.
- W2109047072 hasConceptScore W2109047072C61797465 @default.
- W2109047072 hasConceptScore W2109047072C62520636 @default.
- W2109047072 hasConceptScore W2109047072C77906462 @default.
- W2109047072 hasConceptScore W2109047072C90119067 @default.
- W2109047072 hasLocation W21090470721 @default.
- W2109047072 hasOpenAccess W2109047072 @default.
- W2109047072 hasPrimaryLocation W21090470721 @default.
- W2109047072 hasRelatedWork W1100208954 @default.
- W2109047072 hasRelatedWork W1503053745 @default.
- W2109047072 hasRelatedWork W1516824726 @default.
- W2109047072 hasRelatedWork W1517567519 @default.
- W2109047072 hasRelatedWork W1521877753 @default.
- W2109047072 hasRelatedWork W1557327370 @default.
- W2109047072 hasRelatedWork W1567354447 @default.
- W2109047072 hasRelatedWork W1693995122 @default.
- W2109047072 hasRelatedWork W1802519271 @default.
- W2109047072 hasRelatedWork W1972191248 @default.
- W2109047072 hasRelatedWork W1994958005 @default.
- W2109047072 hasRelatedWork W2006460851 @default.
- W2109047072 hasRelatedWork W2036985061 @default.
- W2109047072 hasRelatedWork W2047447540 @default.
- W2109047072 hasRelatedWork W2050626079 @default.
- W2109047072 hasRelatedWork W2050856006 @default.
- W2109047072 hasRelatedWork W2051991815 @default.
- W2109047072 hasRelatedWork W2107243865 @default.
- W2109047072 hasRelatedWork W2126158904 @default.
- W2109047072 hasRelatedWork W1778310382 @default.
- W2109047072 isParatext "false" @default.
- W2109047072 isRetracted "false" @default.
- W2109047072 magId "2109047072" @default.
- W2109047072 workType "article" @default.