Matches in SemOpenAlex for { <https://semopenalex.org/work/W3003247449> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3003247449 startingPage "16" @default.
- W3003247449 abstract "In this paper we study the class EqP of automatic equivalence structures of the form 𝔈=(D, E) where the domain D is a regular language of polynomial growth and E is an equivalence relation on D. Our goal is to investigate the following two foundational problems (in the theory of automatic structures) aimed for the class EqP. The first is to find algebraic characterizations of structures from EqP, and the second is to investigate the isomorphism problem for the class EqP. We provide full solutions to these two problems. First, we produce a characterization of structures from EqP through multivariate polynomials. Second, we present two contrasting results. On the one hand, we prove that the isomorphism problem for structures from the class EqP is undecidable. On the other hand, we prove that the isomorphism problem is decidable for structures from EqP with domains of quadratic growth." @default.
- W3003247449 created "2020-02-07" @default.
- W3003247449 creator A5005654849 @default.
- W3003247449 creator A5034299594 @default.
- W3003247449 date "2020-01-01" @default.
- W3003247449 modified "2023-09-23" @default.
- W3003247449 title "Automatic Equivalence Structures of Polynomial Growth." @default.
- W3003247449 doi "https://doi.org/10.4230/lipics.csl.2020.21" @default.
- W3003247449 hasPublicationYear "2020" @default.
- W3003247449 type Work @default.
- W3003247449 sameAs 3003247449 @default.
- W3003247449 citedByCount "0" @default.
- W3003247449 crossrefType "proceedings-article" @default.
- W3003247449 hasAuthorship W3003247449A5005654849 @default.
- W3003247449 hasAuthorship W3003247449A5034299594 @default.
- W3003247449 hasConcept C115624301 @default.
- W3003247449 hasConcept C118615104 @default.
- W3003247449 hasConcept C153269930 @default.
- W3003247449 hasConcept C154945302 @default.
- W3003247449 hasConcept C156103551 @default.
- W3003247449 hasConcept C185592680 @default.
- W3003247449 hasConcept C192034797 @default.
- W3003247449 hasConcept C202444582 @default.
- W3003247449 hasConcept C203436722 @default.
- W3003247449 hasConcept C2777212361 @default.
- W3003247449 hasConcept C2780069185 @default.
- W3003247449 hasConcept C33923547 @default.
- W3003247449 hasConcept C41008148 @default.
- W3003247449 hasConcept C8010536 @default.
- W3003247449 hasConceptScore W3003247449C115624301 @default.
- W3003247449 hasConceptScore W3003247449C118615104 @default.
- W3003247449 hasConceptScore W3003247449C153269930 @default.
- W3003247449 hasConceptScore W3003247449C154945302 @default.
- W3003247449 hasConceptScore W3003247449C156103551 @default.
- W3003247449 hasConceptScore W3003247449C185592680 @default.
- W3003247449 hasConceptScore W3003247449C192034797 @default.
- W3003247449 hasConceptScore W3003247449C202444582 @default.
- W3003247449 hasConceptScore W3003247449C203436722 @default.
- W3003247449 hasConceptScore W3003247449C2777212361 @default.
- W3003247449 hasConceptScore W3003247449C2780069185 @default.
- W3003247449 hasConceptScore W3003247449C33923547 @default.
- W3003247449 hasConceptScore W3003247449C41008148 @default.
- W3003247449 hasConceptScore W3003247449C8010536 @default.
- W3003247449 hasLocation W30032474491 @default.
- W3003247449 hasOpenAccess W3003247449 @default.
- W3003247449 hasPrimaryLocation W30032474491 @default.
- W3003247449 hasRelatedWork W1522180487 @default.
- W3003247449 hasRelatedWork W1580847017 @default.
- W3003247449 hasRelatedWork W1982760143 @default.
- W3003247449 hasRelatedWork W1991109776 @default.
- W3003247449 hasRelatedWork W2017253753 @default.
- W3003247449 hasRelatedWork W2055632748 @default.
- W3003247449 hasRelatedWork W2076678106 @default.
- W3003247449 hasRelatedWork W2171050449 @default.
- W3003247449 hasRelatedWork W2397256010 @default.
- W3003247449 hasRelatedWork W2493424709 @default.
- W3003247449 hasRelatedWork W2516889374 @default.
- W3003247449 hasRelatedWork W2604316877 @default.
- W3003247449 hasRelatedWork W2950454308 @default.
- W3003247449 hasRelatedWork W2950717240 @default.
- W3003247449 hasRelatedWork W2951244594 @default.
- W3003247449 hasRelatedWork W2956865288 @default.
- W3003247449 hasRelatedWork W3080361162 @default.
- W3003247449 hasRelatedWork W3100051117 @default.
- W3003247449 hasRelatedWork W165571324 @default.
- W3003247449 hasRelatedWork W2398115706 @default.
- W3003247449 isParatext "false" @default.
- W3003247449 isRetracted "false" @default.
- W3003247449 magId "3003247449" @default.
- W3003247449 workType "article" @default.