Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367000237> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4367000237 abstract "We study the decidability and complexity of equational theories of the existential calculus of relations with transitive closure (ECoR*) and its fragments, where ECoR* is the positive calculus of relations with transitive closure extended with complements of term variables and constants. We give characterizations of these equational theories by using edge saturations and we show that the equational theory is 1) coNP-complete for ECoR* without transitive closure; 2) in coNEXP for ECoR* without intersection and PSPACE-complete for two smaller fragments; 3) $Pi_{1}^{0}$-complete for ECoR*. The second result gives PSPACE-upper bounds for some extensions of Kleene algebra, including Kleene algebra with top w.r.t. binary relations." @default.
- W4367000237 created "2023-04-27" @default.
- W4367000237 creator A5049010003 @default.
- W4367000237 date "2023-04-24" @default.
- W4367000237 modified "2023-10-01" @default.
- W4367000237 title "Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations" @default.
- W4367000237 doi "https://doi.org/10.48550/arxiv.2304.12079" @default.
- W4367000237 hasPublicationYear "2023" @default.
- W4367000237 type Work @default.
- W4367000237 citedByCount "0" @default.
- W4367000237 crossrefType "posted-content" @default.
- W4367000237 hasAuthorship W4367000237A5049010003 @default.
- W4367000237 hasBestOaLocation W43670002371 @default.
- W4367000237 hasConcept C114614502 @default.
- W4367000237 hasConcept C118615104 @default.
- W4367000237 hasConcept C127413603 @default.
- W4367000237 hasConcept C128896722 @default.
- W4367000237 hasConcept C129691609 @default.
- W4367000237 hasConcept C132525143 @default.
- W4367000237 hasConcept C146834321 @default.
- W4367000237 hasConcept C146978453 @default.
- W4367000237 hasConcept C153269930 @default.
- W4367000237 hasConcept C162324750 @default.
- W4367000237 hasConcept C191399111 @default.
- W4367000237 hasConcept C199360897 @default.
- W4367000237 hasConcept C202444582 @default.
- W4367000237 hasConcept C203776342 @default.
- W4367000237 hasConcept C22149727 @default.
- W4367000237 hasConcept C33923547 @default.
- W4367000237 hasConcept C34447519 @default.
- W4367000237 hasConcept C41008148 @default.
- W4367000237 hasConcept C64543145 @default.
- W4367000237 hasConcept C65180967 @default.
- W4367000237 hasConcept C77906462 @default.
- W4367000237 hasConceptScore W4367000237C114614502 @default.
- W4367000237 hasConceptScore W4367000237C118615104 @default.
- W4367000237 hasConceptScore W4367000237C127413603 @default.
- W4367000237 hasConceptScore W4367000237C128896722 @default.
- W4367000237 hasConceptScore W4367000237C129691609 @default.
- W4367000237 hasConceptScore W4367000237C132525143 @default.
- W4367000237 hasConceptScore W4367000237C146834321 @default.
- W4367000237 hasConceptScore W4367000237C146978453 @default.
- W4367000237 hasConceptScore W4367000237C153269930 @default.
- W4367000237 hasConceptScore W4367000237C162324750 @default.
- W4367000237 hasConceptScore W4367000237C191399111 @default.
- W4367000237 hasConceptScore W4367000237C199360897 @default.
- W4367000237 hasConceptScore W4367000237C202444582 @default.
- W4367000237 hasConceptScore W4367000237C203776342 @default.
- W4367000237 hasConceptScore W4367000237C22149727 @default.
- W4367000237 hasConceptScore W4367000237C33923547 @default.
- W4367000237 hasConceptScore W4367000237C34447519 @default.
- W4367000237 hasConceptScore W4367000237C41008148 @default.
- W4367000237 hasConceptScore W4367000237C64543145 @default.
- W4367000237 hasConceptScore W4367000237C65180967 @default.
- W4367000237 hasConceptScore W4367000237C77906462 @default.
- W4367000237 hasLocation W43670002371 @default.
- W4367000237 hasOpenAccess W4367000237 @default.
- W4367000237 hasPrimaryLocation W43670002371 @default.
- W4367000237 hasRelatedWork W1967985775 @default.
- W4367000237 hasRelatedWork W2108843088 @default.
- W4367000237 hasRelatedWork W2246583867 @default.
- W4367000237 hasRelatedWork W2258592034 @default.
- W4367000237 hasRelatedWork W2362009423 @default.
- W4367000237 hasRelatedWork W2364216866 @default.
- W4367000237 hasRelatedWork W2365750584 @default.
- W4367000237 hasRelatedWork W2394135826 @default.
- W4367000237 hasRelatedWork W2614633957 @default.
- W4367000237 hasRelatedWork W2963724210 @default.
- W4367000237 isParatext "false" @default.
- W4367000237 isRetracted "false" @default.
- W4367000237 workType "article" @default.