Matches in SemOpenAlex for { <https://semopenalex.org/work/W1517365763> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1517365763 abstract "This paper gives a procedure for solving disequations modulo equational theories, and to decide existence of solutions. For this, we assume that the equational theory is specified by a confluent and constructor-based rewrite system, and that four additional restrictions are satisfied. The procedure represents the possibly infinite set of solutions thanks to a grammar, and decides existence of solutions thanks to an emptiness test. As a consequence, checking whether a linear equality is an inductive theorem is decidable, if assuming moreover sufficient completeness." @default.
- W1517365763 created "2016-06-24" @default.
- W1517365763 creator A5050247937 @default.
- W1517365763 creator A5053423731 @default.
- W1517365763 date "1998-01-01" @default.
- W1517365763 modified "2023-09-23" @default.
- W1517365763 title "Solving disequations modulo some class of rewrite systems" @default.
- W1517365763 cites W147641928 @default.
- W1517365763 cites W1513315908 @default.
- W1517365763 cites W1612885523 @default.
- W1517365763 cites W2005822708 @default.
- W1517365763 cites W2053719172 @default.
- W1517365763 cites W2070687667 @default.
- W1517365763 cites W2078852650 @default.
- W1517365763 cites W2087389137 @default.
- W1517365763 cites W2161219580 @default.
- W1517365763 cites W2912818154 @default.
- W1517365763 cites W3022794709 @default.
- W1517365763 doi "https://doi.org/10.1007/bfb0052365" @default.
- W1517365763 hasPublicationYear "1998" @default.
- W1517365763 type Work @default.
- W1517365763 sameAs 1517365763 @default.
- W1517365763 citedByCount "6" @default.
- W1517365763 crossrefType "book-chapter" @default.
- W1517365763 hasAuthorship W1517365763A5050247937 @default.
- W1517365763 hasAuthorship W1517365763A5053423731 @default.
- W1517365763 hasConcept C11413529 @default.
- W1517365763 hasConcept C118615104 @default.
- W1517365763 hasConcept C136119220 @default.
- W1517365763 hasConcept C154945302 @default.
- W1517365763 hasConcept C199360897 @default.
- W1517365763 hasConcept C202444582 @default.
- W1517365763 hasConcept C2777212361 @default.
- W1517365763 hasConcept C33923547 @default.
- W1517365763 hasConcept C41008148 @default.
- W1517365763 hasConcept C54732982 @default.
- W1517365763 hasConcept C80444323 @default.
- W1517365763 hasConcept C94375191 @default.
- W1517365763 hasConceptScore W1517365763C11413529 @default.
- W1517365763 hasConceptScore W1517365763C118615104 @default.
- W1517365763 hasConceptScore W1517365763C136119220 @default.
- W1517365763 hasConceptScore W1517365763C154945302 @default.
- W1517365763 hasConceptScore W1517365763C199360897 @default.
- W1517365763 hasConceptScore W1517365763C202444582 @default.
- W1517365763 hasConceptScore W1517365763C2777212361 @default.
- W1517365763 hasConceptScore W1517365763C33923547 @default.
- W1517365763 hasConceptScore W1517365763C41008148 @default.
- W1517365763 hasConceptScore W1517365763C54732982 @default.
- W1517365763 hasConceptScore W1517365763C80444323 @default.
- W1517365763 hasConceptScore W1517365763C94375191 @default.
- W1517365763 hasLocation W15173657631 @default.
- W1517365763 hasLocation W15173657632 @default.
- W1517365763 hasOpenAccess W1517365763 @default.
- W1517365763 hasPrimaryLocation W15173657631 @default.
- W1517365763 hasRelatedWork W1527862632 @default.
- W1517365763 hasRelatedWork W1652311832 @default.
- W1517365763 hasRelatedWork W2106047869 @default.
- W1517365763 hasRelatedWork W2109507516 @default.
- W1517365763 hasRelatedWork W2118300983 @default.
- W1517365763 hasRelatedWork W2135396778 @default.
- W1517365763 hasRelatedWork W2166247150 @default.
- W1517365763 hasRelatedWork W2462453872 @default.
- W1517365763 hasRelatedWork W4235530921 @default.
- W1517365763 hasRelatedWork W4243252198 @default.
- W1517365763 isParatext "false" @default.
- W1517365763 isRetracted "false" @default.
- W1517365763 magId "1517365763" @default.
- W1517365763 workType "book-chapter" @default.