FRINK Linked Data Fragments server

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

• W616733260 abstract "Knuth-Bendix completion is a technique for equational automated theorem proving based on term rewriting. This classic procedure is parametrized by an equational theory and a (well-founded) reduction order used at runtime to ensure termination of intermediate rewriting systems. Any reduction order can be used in principle, but modern completion tools typically implement only a few classes of such orders (e.g., recursive path orders and polynomial orders). Consequently, the theories for which completion can possibly succeed are limited to those compatible with an instance of an implemented class of orders. Finding and specifying a compatible order, even among a small number of classes, is challenging in practice and crucial to the success of the method. In this thesis, a new variant on the Knuth-Bendix completion procedure is developed in which no order is provided by the user. Modern termination-checking methods are instead used to verify termination of rewriting systems. We prove the new method correct and also present an implementation called Slothrop which obtains solutions for theories that do not admit typical orders and that have not previously been solved by a fully automatic tool. Type of Report: Other Department of Computer Science & Engineering Washington University in St. Louis Campus Box 1045 St. Louis, MO 63130 ph: (314) 935-6160 SEVER INSTITUTE OF TECHNOLOGY MASTER OF SCIENCE DEGREE" @default.
• W616733260 created "2016-06-24" @default.
• W616733260 creator A5025468597 @default.
• W616733260 date "2006-01-01" @default.
• W616733260 modified "2023-09-23" @default.
• W616733260 title "Knuth-Bendix Completion with Modern Termination Checking, Master's Thesis, August 2006" @default.
• W616733260 cites W123168770 @default.
• W616733260 cites W1491987797 @default.
• W616733260 cites W1502987554 @default.
• W616733260 cites W1507112684 @default.
• W616733260 cites W1515278398 @default.
• W616733260 cites W1521232193 @default.
• W616733260 cites W1527996124 @default.
• W616733260 cites W1536408682 @default.
• W616733260 cites W1545035753 @default.
• W616733260 cites W1583295953 @default.
• W616733260 cites W1599214850 @default.
• W616733260 cites W1604020522 @default.
• W616733260 cites W166245329 @default.
• W616733260 cites W1768790486 @default.
• W616733260 cites W1770707453 @default.
• W616733260 cites W1875958796 @default.
• W616733260 cites W1963677040 @default.
• W616733260 cites W1963801750 @default.
• W616733260 cites W1968386045 @default.
• W616733260 cites W1974817955 @default.
• W616733260 cites W1986426227 @default.
• W616733260 cites W1991856459 @default.
• W616733260 cites W1994693829 @default.
• W616733260 cites W2004193076 @default.
• W616733260 cites W2007166036 @default.
• W616733260 cites W2033373287 @default.
• W616733260 cites W2048280348 @default.
• W616733260 cites W2100738443 @default.
• W616733260 cites W2109595350 @default.
• W616733260 cites W2114804254 @default.
• W616733260 cites W2161751413 @default.
• W616733260 cites W2328819335 @default.
• W616733260 cites W2571614197 @default.
• W616733260 cites W2749479972 @default.
• W616733260 cites W2912818154 @default.
• W616733260 cites W598205067 @default.
• W616733260 doi "https://doi.org/10.7936/k7h993fg" @default.
• W616733260 hasPublicationYear "2006" @default.
• W616733260 type Work @default.
• W616733260 sameAs 616733260 @default.
• W616733260 citedByCount "0" @default.
• W616733260 crossrefType "journal-article" @default.
• W616733260 hasAuthorship W616733260A5025468597 @default.
• W616733260 hasConcept C10138342 @default.
• W616733260 hasConcept C111335779 @default.
• W616733260 hasConcept C11413529 @default.
• W616733260 hasConcept C118615104 @default.
• W616733260 hasConcept C121332964 @default.
• W616733260 hasConcept C134306372 @default.
• W616733260 hasConcept C136119220 @default.
• W616733260 hasConcept C154690210 @default.
• W616733260 hasConcept C154945302 @default.
• W616733260 hasConcept C162324750 @default.
• W616733260 hasConcept C182306322 @default.
• W616733260 hasConcept C199343813 @default.
• W616733260 hasConcept C199360897 @default.
• W616733260 hasConcept C202444582 @default.
• W616733260 hasConcept C206880738 @default.
• W616733260 hasConcept C2524010 @default.
• W616733260 hasConcept C2777212361 @default.
• W616733260 hasConcept C2777686260 @default.
• W616733260 hasConcept C33923547 @default.
• W616733260 hasConcept C41008148 @default.
• W616733260 hasConcept C61797465 @default.
• W616733260 hasConcept C62520636 @default.
• W616733260 hasConcept C71924100 @default.
• W616733260 hasConcept C77906462 @default.
• W616733260 hasConcept C80444323 @default.
• W616733260 hasConcept C90119067 @default.
• W616733260 hasConceptScore W616733260C10138342 @default.
• W616733260 hasConceptScore W616733260C111335779 @default.
• W616733260 hasConceptScore W616733260C11413529 @default.
• W616733260 hasConceptScore W616733260C118615104 @default.
• W616733260 hasConceptScore W616733260C121332964 @default.
• W616733260 hasConceptScore W616733260C134306372 @default.
• W616733260 hasConceptScore W616733260C136119220 @default.
• W616733260 hasConceptScore W616733260C154690210 @default.
• W616733260 hasConceptScore W616733260C154945302 @default.
• W616733260 hasConceptScore W616733260C162324750 @default.
• W616733260 hasConceptScore W616733260C182306322 @default.
• W616733260 hasConceptScore W616733260C199343813 @default.
• W616733260 hasConceptScore W616733260C199360897 @default.
• W616733260 hasConceptScore W616733260C202444582 @default.
• W616733260 hasConceptScore W616733260C206880738 @default.
• W616733260 hasConceptScore W616733260C2524010 @default.
• W616733260 hasConceptScore W616733260C2777212361 @default.
• W616733260 hasConceptScore W616733260C2777686260 @default.
• W616733260 hasConceptScore W616733260C33923547 @default.
• W616733260 hasConceptScore W616733260C41008148 @default.
• W616733260 hasConceptScore W616733260C61797465 @default.
• W616733260 hasConceptScore W616733260C62520636 @default.
• W616733260 hasConceptScore W616733260C71924100 @default.
• W616733260 hasConceptScore W616733260C77906462 @default.
• W616733260 hasConceptScore W616733260C80444323 @default.

• next