Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576049389> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1576049389 endingPage "260" @default.
- W1576049389 startingPage "251" @default.
- W1576049389 abstract "We demonstrate that deciding if two terms containing otherwise uninterpreted associative, commutative, and associative-commutative function symbols and commutative variable-binding operators are equal is polynomially equivalent to determining if two graphs are isomorphic. The reductions we use provide insight into this result and suggest polynomial time special cases.KeywordsFunction SymbolGraph IsomorphismBinding VariableCommutative FunctionBinding OperatorThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1576049389 created "2016-06-24" @default.
- W1576049389 creator A5025344654 @default.
- W1576049389 date "1990-01-01" @default.
- W1576049389 modified "2023-09-26" @default.
- W1576049389 title "Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete" @default.
- W1576049389 cites W1581435998 @default.
- W1576049389 cites W1589346249 @default.
- W1576049389 cites W2046021036 @default.
- W1576049389 cites W2062968803 @default.
- W1576049389 cites W2146163384 @default.
- W1576049389 cites W4231922962 @default.
- W1576049389 doi "https://doi.org/10.1007/3-540-52885-7_92" @default.
- W1576049389 hasPublicationYear "1990" @default.
- W1576049389 type Work @default.
- W1576049389 sameAs 1576049389 @default.
- W1576049389 citedByCount "5" @default.
- W1576049389 crossrefType "book-chapter" @default.
- W1576049389 hasAuthorship W1576049389A5025344654 @default.
- W1576049389 hasBestOaLocation W15760493892 @default.
- W1576049389 hasConcept C115624301 @default.
- W1576049389 hasConcept C118615104 @default.
- W1576049389 hasConcept C134306372 @default.
- W1576049389 hasConcept C136119220 @default.
- W1576049389 hasConcept C14036430 @default.
- W1576049389 hasConcept C159423971 @default.
- W1576049389 hasConcept C161491579 @default.
- W1576049389 hasConcept C183778304 @default.
- W1576049389 hasConcept C185592680 @default.
- W1576049389 hasConcept C202444582 @default.
- W1576049389 hasConcept C203436722 @default.
- W1576049389 hasConcept C33923547 @default.
- W1576049389 hasConcept C41008148 @default.
- W1576049389 hasConcept C78458016 @default.
- W1576049389 hasConcept C8010536 @default.
- W1576049389 hasConcept C86803240 @default.
- W1576049389 hasConcept C90119067 @default.
- W1576049389 hasConcept C9485509 @default.
- W1576049389 hasConceptScore W1576049389C115624301 @default.
- W1576049389 hasConceptScore W1576049389C118615104 @default.
- W1576049389 hasConceptScore W1576049389C134306372 @default.
- W1576049389 hasConceptScore W1576049389C136119220 @default.
- W1576049389 hasConceptScore W1576049389C14036430 @default.
- W1576049389 hasConceptScore W1576049389C159423971 @default.
- W1576049389 hasConceptScore W1576049389C161491579 @default.
- W1576049389 hasConceptScore W1576049389C183778304 @default.
- W1576049389 hasConceptScore W1576049389C185592680 @default.
- W1576049389 hasConceptScore W1576049389C202444582 @default.
- W1576049389 hasConceptScore W1576049389C203436722 @default.
- W1576049389 hasConceptScore W1576049389C33923547 @default.
- W1576049389 hasConceptScore W1576049389C41008148 @default.
- W1576049389 hasConceptScore W1576049389C78458016 @default.
- W1576049389 hasConceptScore W1576049389C8010536 @default.
- W1576049389 hasConceptScore W1576049389C86803240 @default.
- W1576049389 hasConceptScore W1576049389C90119067 @default.
- W1576049389 hasConceptScore W1576049389C9485509 @default.
- W1576049389 hasLocation W15760493891 @default.
- W1576049389 hasLocation W15760493892 @default.
- W1576049389 hasOpenAccess W1576049389 @default.
- W1576049389 hasPrimaryLocation W15760493891 @default.
- W1576049389 hasRelatedWork W1604010699 @default.
- W1576049389 hasRelatedWork W1981513335 @default.
- W1576049389 hasRelatedWork W2010434564 @default.
- W1576049389 hasRelatedWork W2017944894 @default.
- W1576049389 hasRelatedWork W2025021966 @default.
- W1576049389 hasRelatedWork W2032563292 @default.
- W1576049389 hasRelatedWork W2047402795 @default.
- W1576049389 hasRelatedWork W2070236869 @default.
- W1576049389 hasRelatedWork W2081237392 @default.
- W1576049389 hasRelatedWork W2091346931 @default.
- W1576049389 hasRelatedWork W2145018595 @default.
- W1576049389 hasRelatedWork W2267551659 @default.
- W1576049389 hasRelatedWork W2341789609 @default.
- W1576049389 hasRelatedWork W2394072367 @default.
- W1576049389 hasRelatedWork W2500800507 @default.
- W1576049389 hasRelatedWork W28467917 @default.
- W1576049389 hasRelatedWork W287383802 @default.
- W1576049389 hasRelatedWork W2962743408 @default.
- W1576049389 hasRelatedWork W3101342170 @default.
- W1576049389 hasRelatedWork W62827340 @default.
- W1576049389 isParatext "false" @default.
- W1576049389 isRetracted "false" @default.
- W1576049389 magId "1576049389" @default.
- W1576049389 workType "book-chapter" @default.