Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141421333> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2141421333 endingPage "143" @default.
- W2141421333 startingPage "127" @default.
- W2141421333 abstract "We present a procedure for checking sufficient completeness of conditional and constrained term rewriting systems containing axioms for constructors which may be constrained (by e.g. equalities, disequalities, ordering, membership, …). Such axioms allow to specify complex data structures like e.g. sets, sorted lists or powerlists. Our approach is integrated into a framework for inductive theorem proving based on tree grammars with constraints, a formalism which permits an exact representation of languages of ground constructor terms in normal form. The procedure is presented by an inference system which is shown sound and complete. A precondition of one inference of this system refers to a (undecidable) property called strong ground reducibility which is discharged to the above inductive theorem proving system. We have successfully applied our method to several examples, yielding readable proofs and, in case of negative answer, a counter-example suggesting how to complete the specification. Moreover, we show that it is a decision procedure when the TRS is unconditional but constrained, for an expressive class of constrained constructor axioms." @default.
- W2141421333 created "2016-06-24" @default.
- W2141421333 creator A5068320028 @default.
- W2141421333 creator A5075259756 @default.
- W2141421333 date "2012-03-01" @default.
- W2141421333 modified "2023-09-23" @default.
- W2141421333 title "Sufficient completeness verification for conditional and constrained TRS" @default.
- W2141421333 cites W1967744155 @default.
- W2141421333 cites W1981469834 @default.
- W2141421333 cites W1991598919 @default.
- W2141421333 cites W2021173362 @default.
- W2141421333 cites W2055002795 @default.
- W2141421333 cites W2055893308 @default.
- W2141421333 cites W2056716318 @default.
- W2141421333 cites W2068188619 @default.
- W2141421333 cites W2074030070 @default.
- W2141421333 cites W2078381694 @default.
- W2141421333 cites W2086312242 @default.
- W2141421333 cites W2120053687 @default.
- W2141421333 cites W2133563196 @default.
- W2141421333 cites W2134338128 @default.
- W2141421333 cites W3022794709 @default.
- W2141421333 cites W4246703498 @default.
- W2141421333 doi "https://doi.org/10.1016/j.jal.2011.09.001" @default.
- W2141421333 hasPublicationYear "2012" @default.
- W2141421333 type Work @default.
- W2141421333 sameAs 2141421333 @default.
- W2141421333 citedByCount "8" @default.
- W2141421333 countsByYear W21414213332013 @default.
- W2141421333 countsByYear W21414213332014 @default.
- W2141421333 countsByYear W21414213332016 @default.
- W2141421333 countsByYear W21414213332017 @default.
- W2141421333 countsByYear W21414213332022 @default.
- W2141421333 crossrefType "journal-article" @default.
- W2141421333 hasAuthorship W2141421333A5068320028 @default.
- W2141421333 hasAuthorship W2141421333A5075259756 @default.
- W2141421333 hasBestOaLocation W21414213332 @default.
- W2141421333 hasConcept C108710211 @default.
- W2141421333 hasConcept C118615104 @default.
- W2141421333 hasConcept C134306372 @default.
- W2141421333 hasConcept C153269930 @default.
- W2141421333 hasConcept C154690210 @default.
- W2141421333 hasConcept C167729594 @default.
- W2141421333 hasConcept C17231256 @default.
- W2141421333 hasConcept C192034797 @default.
- W2141421333 hasConcept C199360897 @default.
- W2141421333 hasConcept C206880738 @default.
- W2141421333 hasConcept C2524010 @default.
- W2141421333 hasConcept C33923547 @default.
- W2141421333 hasConcept C3746660 @default.
- W2141421333 hasConcept C39920170 @default.
- W2141421333 hasConcept C41008148 @default.
- W2141421333 hasConcept C80444323 @default.
- W2141421333 hasConceptScore W2141421333C108710211 @default.
- W2141421333 hasConceptScore W2141421333C118615104 @default.
- W2141421333 hasConceptScore W2141421333C134306372 @default.
- W2141421333 hasConceptScore W2141421333C153269930 @default.
- W2141421333 hasConceptScore W2141421333C154690210 @default.
- W2141421333 hasConceptScore W2141421333C167729594 @default.
- W2141421333 hasConceptScore W2141421333C17231256 @default.
- W2141421333 hasConceptScore W2141421333C192034797 @default.
- W2141421333 hasConceptScore W2141421333C199360897 @default.
- W2141421333 hasConceptScore W2141421333C206880738 @default.
- W2141421333 hasConceptScore W2141421333C2524010 @default.
- W2141421333 hasConceptScore W2141421333C33923547 @default.
- W2141421333 hasConceptScore W2141421333C3746660 @default.
- W2141421333 hasConceptScore W2141421333C39920170 @default.
- W2141421333 hasConceptScore W2141421333C41008148 @default.
- W2141421333 hasConceptScore W2141421333C80444323 @default.
- W2141421333 hasIssue "1" @default.
- W2141421333 hasLocation W21414213331 @default.
- W2141421333 hasLocation W21414213332 @default.
- W2141421333 hasLocation W21414213333 @default.
- W2141421333 hasLocation W21414213334 @default.
- W2141421333 hasOpenAccess W2141421333 @default.
- W2141421333 hasPrimaryLocation W21414213331 @default.
- W2141421333 hasRelatedWork W1491324663 @default.
- W2141421333 hasRelatedWork W1502368951 @default.
- W2141421333 hasRelatedWork W1516274846 @default.
- W2141421333 hasRelatedWork W170923172 @default.
- W2141421333 hasRelatedWork W2102813462 @default.
- W2141421333 hasRelatedWork W2141421333 @default.
- W2141421333 hasRelatedWork W2147357772 @default.
- W2141421333 hasRelatedWork W3088671735 @default.
- W2141421333 hasRelatedWork W31392846 @default.
- W2141421333 hasRelatedWork W2492451878 @default.
- W2141421333 hasVolume "10" @default.
- W2141421333 isParatext "false" @default.
- W2141421333 isRetracted "false" @default.
- W2141421333 magId "2141421333" @default.
- W2141421333 workType "article" @default.