Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161219580> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2161219580 abstract "The goal of this paper is both to give an E-unification procedure that always terminates, and to decide unifiability. 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. We give a procedure that represents the (possibly infinite) set of solutions thanks to a tree tuple synchronized grammar, and that can decide upon unifiability thanks to an emptiness test. Moreover, we show that if only three of the four additional restrictions are satisfied then unifiability is undecidable." @default.
- W2161219580 created "2016-06-24" @default.
- W2161219580 creator A5050247937 @default.
- W2161219580 creator A5053423731 @default.
- W2161219580 date "1997-01-01" @default.
- W2161219580 modified "2023-09-24" @default.
- W2161219580 title "E-unification by means of tree tuple synchronized grammars" @default.
- W2161219580 cites W1503879296 @default.
- W2161219580 cites W1513315908 @default.
- W2161219580 cites W1557315425 @default.
- W2161219580 cites W1924375494 @default.
- W2161219580 cites W2005822708 @default.
- W2161219580 cites W2115857898 @default.
- W2161219580 cites W2160250760 @default.
- W2161219580 cites W2912818154 @default.
- W2161219580 doi "https://doi.org/10.46298/dmtcs.240" @default.
- W2161219580 hasPublicationYear "1997" @default.
- W2161219580 type Work @default.
- W2161219580 sameAs 2161219580 @default.
- W2161219580 citedByCount "8" @default.
- W2161219580 crossrefType "journal-article" @default.
- W2161219580 hasAuthorship W2161219580A5050247937 @default.
- W2161219580 hasAuthorship W2161219580A5053423731 @default.
- W2161219580 hasBestOaLocation W21612195801 @default.
- W2161219580 hasConcept C113174947 @default.
- W2161219580 hasConcept C114614502 @default.
- W2161219580 hasConcept C118615104 @default.
- W2161219580 hasConcept C118930307 @default.
- W2161219580 hasConcept C136643341 @default.
- W2161219580 hasConcept C153269930 @default.
- W2161219580 hasConcept C154945302 @default.
- W2161219580 hasConcept C177264268 @default.
- W2161219580 hasConcept C192034797 @default.
- W2161219580 hasConcept C199360897 @default.
- W2161219580 hasConcept C33923547 @default.
- W2161219580 hasConcept C41008148 @default.
- W2161219580 hasConcept C53893814 @default.
- W2161219580 hasConcept C96146094 @default.
- W2161219580 hasConceptScore W2161219580C113174947 @default.
- W2161219580 hasConceptScore W2161219580C114614502 @default.
- W2161219580 hasConceptScore W2161219580C118615104 @default.
- W2161219580 hasConceptScore W2161219580C118930307 @default.
- W2161219580 hasConceptScore W2161219580C136643341 @default.
- W2161219580 hasConceptScore W2161219580C153269930 @default.
- W2161219580 hasConceptScore W2161219580C154945302 @default.
- W2161219580 hasConceptScore W2161219580C177264268 @default.
- W2161219580 hasConceptScore W2161219580C192034797 @default.
- W2161219580 hasConceptScore W2161219580C199360897 @default.
- W2161219580 hasConceptScore W2161219580C33923547 @default.
- W2161219580 hasConceptScore W2161219580C41008148 @default.
- W2161219580 hasConceptScore W2161219580C53893814 @default.
- W2161219580 hasConceptScore W2161219580C96146094 @default.
- W2161219580 hasLocation W21612195801 @default.
- W2161219580 hasLocation W21612195802 @default.
- W2161219580 hasLocation W21612195803 @default.
- W2161219580 hasLocation W21612195804 @default.
- W2161219580 hasLocation W21612195805 @default.
- W2161219580 hasLocation W21612195806 @default.
- W2161219580 hasOpenAccess W2161219580 @default.
- W2161219580 hasPrimaryLocation W21612195801 @default.
- W2161219580 hasRelatedWork W1563786920 @default.
- W2161219580 hasRelatedWork W1567962086 @default.
- W2161219580 hasRelatedWork W1629112568 @default.
- W2161219580 hasRelatedWork W2085838366 @default.
- W2161219580 hasRelatedWork W2489809986 @default.
- W2161219580 hasRelatedWork W2529633050 @default.
- W2161219580 hasRelatedWork W3016701145 @default.
- W2161219580 hasRelatedWork W3184847830 @default.
- W2161219580 hasRelatedWork W4210984521 @default.
- W2161219580 hasRelatedWork W4297908638 @default.
- W2161219580 hasVolume "Vol. 1" @default.
- W2161219580 isParatext "false" @default.
- W2161219580 isRetracted "false" @default.
- W2161219580 magId "2161219580" @default.
- W2161219580 workType "article" @default.