Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569678193> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1569678193 endingPage "90" @default.
- W1569678193 startingPage "76" @default.
- W1569678193 abstract "We show that unification in certain extensions of shallow equational theories is decidable. Our extensions generalize the known classes of shallow or standard equational theories. In order to prove decidability of unification in the extensions, a class of Horn clause sets called sorted shallow equational theories is introduced. This class is a natural extension of tree automata with equality constraints between brother subterms as well as shallow sort theories. We show that saturation under sorted superposition is effective on sorted shallow equational theories. So called semi-linear equational theories can be effectively transformed into equivalent sorted shallow equational theories and generalize the classes of shallow and standard equational theories." @default.
- W1569678193 created "2016-06-24" @default.
- W1569678193 creator A5046034681 @default.
- W1569678193 creator A5061442188 @default.
- W1569678193 creator A5068320028 @default.
- W1569678193 date "1998-01-01" @default.
- W1569678193 modified "2023-09-24" @default.
- W1569678193 title "Unification in extensions of shallow equational theories" @default.
- W1569678193 cites W1551719154 @default.
- W1569678193 cites W1562833547 @default.
- W1569678193 cites W160847359 @default.
- W1569678193 cites W1924375494 @default.
- W1569678193 cites W2005822708 @default.
- W1569678193 cites W2079422382 @default.
- W1569678193 cites W2082976889 @default.
- W1569678193 cites W2105902548 @default.
- W1569678193 cites W2914834504 @default.
- W1569678193 cites W3022794709 @default.
- W1569678193 doi "https://doi.org/10.1007/bfb0052362" @default.
- W1569678193 hasPublicationYear "1998" @default.
- W1569678193 type Work @default.
- W1569678193 sameAs 1569678193 @default.
- W1569678193 citedByCount "26" @default.
- W1569678193 countsByYear W15696781932012 @default.
- W1569678193 countsByYear W15696781932013 @default.
- W1569678193 countsByYear W15696781932017 @default.
- W1569678193 countsByYear W15696781932019 @default.
- W1569678193 countsByYear W15696781932020 @default.
- W1569678193 crossrefType "book-chapter" @default.
- W1569678193 hasAuthorship W1569678193A5046034681 @default.
- W1569678193 hasAuthorship W1569678193A5061442188 @default.
- W1569678193 hasAuthorship W1569678193A5068320028 @default.
- W1569678193 hasBestOaLocation W15696781932 @default.
- W1569678193 hasConcept C118615104 @default.
- W1569678193 hasConcept C136119220 @default.
- W1569678193 hasConcept C153269930 @default.
- W1569678193 hasConcept C154945302 @default.
- W1569678193 hasConcept C199360897 @default.
- W1569678193 hasConcept C202444582 @default.
- W1569678193 hasConcept C2777212361 @default.
- W1569678193 hasConcept C2778029271 @default.
- W1569678193 hasConcept C33923547 @default.
- W1569678193 hasConcept C41008148 @default.
- W1569678193 hasConcept C88548561 @default.
- W1569678193 hasConcept C94375191 @default.
- W1569678193 hasConcept C96146094 @default.
- W1569678193 hasConceptScore W1569678193C118615104 @default.
- W1569678193 hasConceptScore W1569678193C136119220 @default.
- W1569678193 hasConceptScore W1569678193C153269930 @default.
- W1569678193 hasConceptScore W1569678193C154945302 @default.
- W1569678193 hasConceptScore W1569678193C199360897 @default.
- W1569678193 hasConceptScore W1569678193C202444582 @default.
- W1569678193 hasConceptScore W1569678193C2777212361 @default.
- W1569678193 hasConceptScore W1569678193C2778029271 @default.
- W1569678193 hasConceptScore W1569678193C33923547 @default.
- W1569678193 hasConceptScore W1569678193C41008148 @default.
- W1569678193 hasConceptScore W1569678193C88548561 @default.
- W1569678193 hasConceptScore W1569678193C94375191 @default.
- W1569678193 hasConceptScore W1569678193C96146094 @default.
- W1569678193 hasLocation W15696781931 @default.
- W1569678193 hasLocation W15696781932 @default.
- W1569678193 hasLocation W15696781933 @default.
- W1569678193 hasLocation W15696781934 @default.
- W1569678193 hasLocation W15696781935 @default.
- W1569678193 hasOpenAccess W1569678193 @default.
- W1569678193 hasPrimaryLocation W15696781931 @default.
- W1569678193 hasRelatedWork W1521962526 @default.
- W1569678193 hasRelatedWork W1562994860 @default.
- W1569678193 hasRelatedWork W1587577782 @default.
- W1569678193 hasRelatedWork W1966448964 @default.
- W1569678193 hasRelatedWork W2060473848 @default.
- W1569678193 hasRelatedWork W2152180609 @default.
- W1569678193 hasRelatedWork W2403171661 @default.
- W1569678193 hasRelatedWork W2404295594 @default.
- W1569678193 hasRelatedWork W3174185447 @default.
- W1569678193 hasRelatedWork W59103672 @default.
- W1569678193 isParatext "false" @default.
- W1569678193 isRetracted "false" @default.
- W1569678193 magId "1569678193" @default.
- W1569678193 workType "book-chapter" @default.