Matches in SemOpenAlex for { <https://semopenalex.org/work/W2808099265> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2808099265 abstract "This paper presents a new approach to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for the precedence are encoded in propositional logic and the resulting formula is tested for satisfiability. Any satisfying assignment represents a weight function and a precedence such that the induced Knuth-Bendix order orients the rules of the encoded rewrite system from left to right." @default.
- W2808099265 created "2018-06-21" @default.
- W2808099265 creator A5028009961 @default.
- W2808099265 creator A5049118633 @default.
- W2808099265 date "2006-08-06" @default.
- W2808099265 modified "2023-09-27" @default.
- W2808099265 title "KBO as a Satisfaction Problem" @default.
- W2808099265 cites W1484559376 @default.
- W2808099265 cites W1489016793 @default.
- W2808099265 cites W1507237133 @default.
- W2808099265 cites W1518705996 @default.
- W2808099265 cites W1558166004 @default.
- W2808099265 cites W1583295953 @default.
- W2808099265 cites W1615988984 @default.
- W2808099265 cites W1965088381 @default.
- W2808099265 cites W2090855107 @default.
- W2808099265 cites W2116758077 @default.
- W2808099265 cites W2133527541 @default.
- W2808099265 cites W2134607541 @default.
- W2808099265 cites W2156645025 @default.
- W2808099265 cites W2171453216 @default.
- W2808099265 cites W91193428 @default.
- W2808099265 hasPublicationYear "2006" @default.
- W2808099265 type Work @default.
- W2808099265 sameAs 2808099265 @default.
- W2808099265 citedByCount "2" @default.
- W2808099265 countsByYear W28080992652012 @default.
- W2808099265 crossrefType "posted-content" @default.
- W2808099265 hasAuthorship W2808099265A5028009961 @default.
- W2808099265 hasAuthorship W2808099265A5049118633 @default.
- W2808099265 hasConcept C10138342 @default.
- W2808099265 hasConcept C105795698 @default.
- W2808099265 hasConcept C118615104 @default.
- W2808099265 hasConcept C134466208 @default.
- W2808099265 hasConcept C14036430 @default.
- W2808099265 hasConcept C162324750 @default.
- W2808099265 hasConcept C168773769 @default.
- W2808099265 hasConcept C182306322 @default.
- W2808099265 hasConcept C199343813 @default.
- W2808099265 hasConcept C2777686260 @default.
- W2808099265 hasConcept C33923547 @default.
- W2808099265 hasConcept C69562738 @default.
- W2808099265 hasConcept C71924100 @default.
- W2808099265 hasConcept C78458016 @default.
- W2808099265 hasConcept C86803240 @default.
- W2808099265 hasConceptScore W2808099265C10138342 @default.
- W2808099265 hasConceptScore W2808099265C105795698 @default.
- W2808099265 hasConceptScore W2808099265C118615104 @default.
- W2808099265 hasConceptScore W2808099265C134466208 @default.
- W2808099265 hasConceptScore W2808099265C14036430 @default.
- W2808099265 hasConceptScore W2808099265C162324750 @default.
- W2808099265 hasConceptScore W2808099265C168773769 @default.
- W2808099265 hasConceptScore W2808099265C182306322 @default.
- W2808099265 hasConceptScore W2808099265C199343813 @default.
- W2808099265 hasConceptScore W2808099265C2777686260 @default.
- W2808099265 hasConceptScore W2808099265C33923547 @default.
- W2808099265 hasConceptScore W2808099265C69562738 @default.
- W2808099265 hasConceptScore W2808099265C71924100 @default.
- W2808099265 hasConceptScore W2808099265C78458016 @default.
- W2808099265 hasConceptScore W2808099265C86803240 @default.
- W2808099265 hasLocation W28080992651 @default.
- W2808099265 hasOpenAccess W2808099265 @default.
- W2808099265 hasPrimaryLocation W28080992651 @default.
- W2808099265 hasRelatedWork W1493699111 @default.
- W2808099265 hasRelatedWork W1513628728 @default.
- W2808099265 hasRelatedWork W1583295953 @default.
- W2808099265 hasRelatedWork W1585027776 @default.
- W2808099265 hasRelatedWork W1589342712 @default.
- W2808099265 hasRelatedWork W1643824286 @default.
- W2808099265 hasRelatedWork W1872010728 @default.
- W2808099265 hasRelatedWork W1952215883 @default.
- W2808099265 hasRelatedWork W1975097530 @default.
- W2808099265 hasRelatedWork W1995828396 @default.
- W2808099265 hasRelatedWork W2011992362 @default.
- W2808099265 hasRelatedWork W2090855107 @default.
- W2808099265 hasRelatedWork W210557330 @default.
- W2808099265 hasRelatedWork W2105888313 @default.
- W2808099265 hasRelatedWork W2401997748 @default.
- W2808099265 hasRelatedWork W2507929402 @default.
- W2808099265 hasRelatedWork W2534212028 @default.
- W2808099265 hasRelatedWork W2949619485 @default.
- W2808099265 hasRelatedWork W64610251 @default.
- W2808099265 hasRelatedWork W91193428 @default.
- W2808099265 isParatext "false" @default.
- W2808099265 isRetracted "false" @default.
- W2808099265 magId "2808099265" @default.
- W2808099265 workType "article" @default.