Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569124960> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1569124960 abstract "The recursive solvability of the Equivalence Problem for Binary EOL-Systems has been proved. As an application of a general method we prove also the decidability of the Structural Equivalence Problem for arbitrary EOL-Systems." @default.
- W1569124960 created "2016-06-24" @default.
- W1569124960 creator A5085425895 @default.
- W1569124960 date "1977-01-01" @default.
- W1569124960 modified "2023-09-27" @default.
- W1569124960 title "The equivalences problems for binary EOL-Systems are decidable" @default.
- W1569124960 cites W1983423379 @default.
- W1569124960 cites W1994637428 @default.
- W1569124960 cites W2010769244 @default.
- W1569124960 cites W2035010454 @default.
- W1569124960 cites W2035020702 @default.
- W1569124960 cites W2038925304 @default.
- W1569124960 cites W2049637229 @default.
- W1569124960 cites W2054801208 @default.
- W1569124960 cites W2057195216 @default.
- W1569124960 cites W2066397055 @default.
- W1569124960 cites W2071902050 @default.
- W1569124960 cites W2086722931 @default.
- W1569124960 cites W2294348221 @default.
- W1569124960 cites W4247104804 @default.
- W1569124960 cites W4253468254 @default.
- W1569124960 doi "https://doi.org/10.1007/3-540-08442-8_111" @default.
- W1569124960 hasPublicationYear "1977" @default.
- W1569124960 type Work @default.
- W1569124960 sameAs 1569124960 @default.
- W1569124960 citedByCount "0" @default.
- W1569124960 crossrefType "book-chapter" @default.
- W1569124960 hasAuthorship W1569124960A5085425895 @default.
- W1569124960 hasConcept C11413529 @default.
- W1569124960 hasConcept C118615104 @default.
- W1569124960 hasConcept C153269930 @default.
- W1569124960 hasConcept C2780069185 @default.
- W1569124960 hasConcept C33923547 @default.
- W1569124960 hasConcept C41008148 @default.
- W1569124960 hasConcept C48372109 @default.
- W1569124960 hasConcept C80444323 @default.
- W1569124960 hasConcept C94375191 @default.
- W1569124960 hasConceptScore W1569124960C11413529 @default.
- W1569124960 hasConceptScore W1569124960C118615104 @default.
- W1569124960 hasConceptScore W1569124960C153269930 @default.
- W1569124960 hasConceptScore W1569124960C2780069185 @default.
- W1569124960 hasConceptScore W1569124960C33923547 @default.
- W1569124960 hasConceptScore W1569124960C41008148 @default.
- W1569124960 hasConceptScore W1569124960C48372109 @default.
- W1569124960 hasConceptScore W1569124960C80444323 @default.
- W1569124960 hasConceptScore W1569124960C94375191 @default.
- W1569124960 hasLocation W15691249601 @default.
- W1569124960 hasOpenAccess W1569124960 @default.
- W1569124960 hasPrimaryLocation W15691249601 @default.
- W1569124960 hasRelatedWork W1515866581 @default.
- W1569124960 hasRelatedWork W1545792049 @default.
- W1569124960 hasRelatedWork W1553216099 @default.
- W1569124960 hasRelatedWork W1555239210 @default.
- W1569124960 hasRelatedWork W1598600248 @default.
- W1569124960 hasRelatedWork W1719685820 @default.
- W1569124960 hasRelatedWork W1975261774 @default.
- W1569124960 hasRelatedWork W2023309117 @default.
- W1569124960 hasRelatedWork W2033934646 @default.
- W1569124960 hasRelatedWork W2040792183 @default.
- W1569124960 hasRelatedWork W2067129989 @default.
- W1569124960 hasRelatedWork W2134890666 @default.
- W1569124960 hasRelatedWork W2261362537 @default.
- W1569124960 hasRelatedWork W2394562352 @default.
- W1569124960 hasRelatedWork W2396103282 @default.
- W1569124960 hasRelatedWork W2907647026 @default.
- W1569124960 hasRelatedWork W2949097594 @default.
- W1569124960 hasRelatedWork W2962787891 @default.
- W1569124960 hasRelatedWork W39447255 @default.
- W1569124960 hasRelatedWork W59329678 @default.
- W1569124960 isParatext "false" @default.
- W1569124960 isRetracted "false" @default.
- W1569124960 magId "1569124960" @default.
- W1569124960 workType "book-chapter" @default.