FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551444597> ?p ?o ?g. }

• W1551444597 endingPage "403" @default.
• W1551444597 startingPage "389" @default.
• W1551444597 abstract "This paper presents two new approaches 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 (pseudo-)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.
• W1551444597 created "2016-06-24" @default.
• W1551444597 creator A5028009961 @default.
• W1551444597 creator A5049118633 @default.
• W1551444597 date "2007-08-13" @default.
• W1551444597 modified "2023-09-25" @default.
• W1551444597 title "Satisfying KBO Constraints" @default.
• W1551444597 cites W1484559376 @default.
• W1551444597 cites W1489016793 @default.
• W1551444597 cites W1518705996 @default.
• W1551444597 cites W1531034707 @default.
• W1551444597 cites W1558166004 @default.
• W1551444597 cites W1629587635 @default.
• W1551444597 cites W1939442430 @default.
• W1551444597 cites W1965088381 @default.
• W1551444597 cites W2090855107 @default.
• W1551444597 cites W2116758077 @default.
• W1551444597 cites W2134607541 @default.
• W1551444597 cites W2156645025 @default.
• W1551444597 cites W2171453216 @default.
• W1551444597 cites W4230919050 @default.
• W1551444597 cites W4231565824 @default.
• W1551444597 cites W4245630182 @default.
• W1551444597 cites W91193428 @default.
• W1551444597 doi "https://doi.org/10.1007/978-3-540-73449-9_29" @default.
• W1551444597 hasPublicationYear "2007" @default.
• W1551444597 type Work @default.
• W1551444597 sameAs 1551444597 @default.
• W1551444597 citedByCount "13" @default.
• W1551444597 countsByYear W15514445972012 @default.
• W1551444597 countsByYear W15514445972013 @default.
• W1551444597 crossrefType "book-chapter" @default.
• W1551444597 hasAuthorship W1551444597A5028009961 @default.
• W1551444597 hasAuthorship W1551444597A5049118633 @default.
• W1551444597 hasBestOaLocation W15514445972 @default.
• W1551444597 hasConcept C100481476 @default.
• W1551444597 hasConcept C10138342 @default.
• W1551444597 hasConcept C102993220 @default.
• W1551444597 hasConcept C105795698 @default.
• W1551444597 hasConcept C11413529 @default.
• W1551444597 hasConcept C118615104 @default.
• W1551444597 hasConcept C134466208 @default.
• W1551444597 hasConcept C14036430 @default.
• W1551444597 hasConcept C14523651 @default.
• W1551444597 hasConcept C16221470 @default.
• W1551444597 hasConcept C162324750 @default.
• W1551444597 hasConcept C168773769 @default.
• W1551444597 hasConcept C182306322 @default.
• W1551444597 hasConcept C199360897 @default.
• W1551444597 hasConcept C206880738 @default.
• W1551444597 hasConcept C33203268 @default.
• W1551444597 hasConcept C33923547 @default.
• W1551444597 hasConcept C41008148 @default.
• W1551444597 hasConcept C69562738 @default.
• W1551444597 hasConcept C78458016 @default.
• W1551444597 hasConcept C80444323 @default.
• W1551444597 hasConcept C86803240 @default.
• W1551444597 hasConceptScore W1551444597C100481476 @default.
• W1551444597 hasConceptScore W1551444597C10138342 @default.
• W1551444597 hasConceptScore W1551444597C102993220 @default.
• W1551444597 hasConceptScore W1551444597C105795698 @default.
• W1551444597 hasConceptScore W1551444597C11413529 @default.
• W1551444597 hasConceptScore W1551444597C118615104 @default.
• W1551444597 hasConceptScore W1551444597C134466208 @default.
• W1551444597 hasConceptScore W1551444597C14036430 @default.
• W1551444597 hasConceptScore W1551444597C14523651 @default.
• W1551444597 hasConceptScore W1551444597C16221470 @default.
• W1551444597 hasConceptScore W1551444597C162324750 @default.
• W1551444597 hasConceptScore W1551444597C168773769 @default.
• W1551444597 hasConceptScore W1551444597C182306322 @default.
• W1551444597 hasConceptScore W1551444597C199360897 @default.
• W1551444597 hasConceptScore W1551444597C206880738 @default.
• W1551444597 hasConceptScore W1551444597C33203268 @default.
• W1551444597 hasConceptScore W1551444597C33923547 @default.
• W1551444597 hasConceptScore W1551444597C41008148 @default.
• W1551444597 hasConceptScore W1551444597C69562738 @default.
• W1551444597 hasConceptScore W1551444597C78458016 @default.
• W1551444597 hasConceptScore W1551444597C80444323 @default.
• W1551444597 hasConceptScore W1551444597C86803240 @default.
• W1551444597 hasLocation W15514445971 @default.
• W1551444597 hasLocation W15514445972 @default.
• W1551444597 hasLocation W15514445973 @default.
• W1551444597 hasOpenAccess W1551444597 @default.
• W1551444597 hasPrimaryLocation W15514445971 @default.
• W1551444597 hasRelatedWork W1483865431 @default.
• W1551444597 hasRelatedWork W1484559376 @default.
• W1551444597 hasRelatedWork W1489016793 @default.
• W1551444597 hasRelatedWork W1504878076 @default.
• W1551444597 hasRelatedWork W1507237133 @default.
• W1551444597 hasRelatedWork W1518705996 @default.
• W1551444597 hasRelatedWork W1583295953 @default.
• W1551444597 hasRelatedWork W1820313840 @default.
• W1551444597 hasRelatedWork W2001932052 @default.
• W1551444597 hasRelatedWork W2086747974 @default.
• W1551444597 hasRelatedWork W2090855107 @default.
• W1551444597 hasRelatedWork W2099083823 @default.
• W1551444597 hasRelatedWork W2133527541 @default.
• W1551444597 hasRelatedWork W2136514805 @default.

• next