FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2919513305> ?p ?o ?g. }

• W2919513305 abstract "Monadic decomposibility --- the ability to determine whether a formula in a given logical theory can be decomposed into a boolean combination of monadic formulas --- is a powerful tool for devising a decision procedure for a given logical theory. In this paper, we revisit a classical decision problem in automata theory: given a regular (a.k.a. synchronized rational) relation, determine whether it is recognizable, i.e., it has a monadic decomposition (that is, a representation as a boolean combination of cartesian products of regular languages). Regular relations are expressive formalisms which, using an appropriate string encoding, can capture relations definable in Presburger Arithmetic. In fact, their expressive power coincide with relations definable in a universal automatic structure; equivalently, those definable by finite set interpretations in WS1S (Weak Second Order Theory of One Successor). Determining whether a regular relation admits a recognizable relation was known to be decidable (and in exponential time for binary relations), but its precise complexity still hitherto remains open. Our main contribution is to fully settle the complexity of this decision problem by developing new techniques employing infinite Ramsey theory. The complexity for DFA (resp. NFA) representations of regular relations is shown to be NLOGSPACE-complete (resp. PSPACE-complete)." @default.
• W2919513305 created "2019-03-11" @default.
• W2919513305 creator A5015783637 @default.
• W2919513305 creator A5034129725 @default.
• W2919513305 creator A5051683347 @default.
• W2919513305 creator A5064227560 @default.
• W2919513305 creator A5075260906 @default.
• W2919513305 date "2019-03-02" @default.
• W2919513305 modified "2023-09-27" @default.
• W2919513305 title "Monadic Decomposability of Regular Relations" @default.
• W2919513305 cites W1505482284 @default.
• W2919513305 cites W1549008998 @default.
• W2919513305 cites W1593956419 @default.
• W2919513305 cites W1599228120 @default.
• W2919513305 cites W1799164503 @default.
• W2919513305 cites W1965306495 @default.
• W2919513305 cites W1989887898 @default.
• W2919513305 cites W2004894395 @default.
• W2919513305 cites W2014764321 @default.
• W2919513305 cites W2020437202 @default.
• W2919513305 cites W2064465758 @default.
• W2919513305 cites W2079601390 @default.
• W2919513305 cites W2117331553 @default.
• W2919513305 cites W2400063359 @default.
• W2919513305 cites W2626453174 @default.
• W2919513305 cites W2910081537 @default.
• W2919513305 cites W2911521611 @default.
• W2919513305 cites W2952847374 @default.
• W2919513305 hasPublicationYear "2019" @default.
• W2919513305 type Work @default.
• W2919513305 sameAs 2919513305 @default.
• W2919513305 citedByCount "1" @default.
• W2919513305 countsByYear W29195133052021 @default.
• W2919513305 crossrefType "posted-content" @default.
• W2919513305 hasAuthorship W2919513305A5015783637 @default.
• W2919513305 hasAuthorship W2919513305A5034129725 @default.
• W2919513305 hasAuthorship W2919513305A5051683347 @default.
• W2919513305 hasAuthorship W2919513305A5064227560 @default.
• W2919513305 hasAuthorship W2919513305A5075260906 @default.
• W2919513305 hasConcept C102993220 @default.
• W2919513305 hasConcept C112505250 @default.
• W2919513305 hasConcept C11413529 @default.
• W2919513305 hasConcept C115988155 @default.
• W2919513305 hasConcept C118615104 @default.
• W2919513305 hasConcept C124656256 @default.
• W2919513305 hasConcept C134306372 @default.
• W2919513305 hasConcept C153269930 @default.
• W2919513305 hasConcept C157486923 @default.
• W2919513305 hasConcept C169896238 @default.
• W2919513305 hasConcept C171018156 @default.
• W2919513305 hasConcept C179799912 @default.
• W2919513305 hasConcept C197685441 @default.
• W2919513305 hasConcept C2333172 @default.
• W2919513305 hasConcept C2524010 @default.
• W2919513305 hasConcept C25343380 @default.
• W2919513305 hasConcept C2778003309 @default.
• W2919513305 hasConcept C2778583254 @default.
• W2919513305 hasConcept C33923547 @default.
• W2919513305 hasConcept C37914503 @default.
• W2919513305 hasConcept C41008148 @default.
• W2919513305 hasConcept C52370388 @default.
• W2919513305 hasConcept C56049555 @default.
• W2919513305 hasConcept C65180967 @default.
• W2919513305 hasConcept C75306776 @default.
• W2919513305 hasConcept C77088390 @default.
• W2919513305 hasConcept C80444323 @default.
• W2919513305 hasConceptScore W2919513305C102993220 @default.
• W2919513305 hasConceptScore W2919513305C112505250 @default.
• W2919513305 hasConceptScore W2919513305C11413529 @default.
• W2919513305 hasConceptScore W2919513305C115988155 @default.
• W2919513305 hasConceptScore W2919513305C118615104 @default.
• W2919513305 hasConceptScore W2919513305C124656256 @default.
• W2919513305 hasConceptScore W2919513305C134306372 @default.
• W2919513305 hasConceptScore W2919513305C153269930 @default.
• W2919513305 hasConceptScore W2919513305C157486923 @default.
• W2919513305 hasConceptScore W2919513305C169896238 @default.
• W2919513305 hasConceptScore W2919513305C171018156 @default.
• W2919513305 hasConceptScore W2919513305C179799912 @default.
• W2919513305 hasConceptScore W2919513305C197685441 @default.
• W2919513305 hasConceptScore W2919513305C2333172 @default.
• W2919513305 hasConceptScore W2919513305C2524010 @default.
• W2919513305 hasConceptScore W2919513305C25343380 @default.
• W2919513305 hasConceptScore W2919513305C2778003309 @default.
• W2919513305 hasConceptScore W2919513305C2778583254 @default.
• W2919513305 hasConceptScore W2919513305C33923547 @default.
• W2919513305 hasConceptScore W2919513305C37914503 @default.
• W2919513305 hasConceptScore W2919513305C41008148 @default.
• W2919513305 hasConceptScore W2919513305C52370388 @default.
• W2919513305 hasConceptScore W2919513305C56049555 @default.
• W2919513305 hasConceptScore W2919513305C65180967 @default.
• W2919513305 hasConceptScore W2919513305C75306776 @default.
• W2919513305 hasConceptScore W2919513305C77088390 @default.
• W2919513305 hasConceptScore W2919513305C80444323 @default.
• W2919513305 hasLocation W29195133051 @default.
• W2919513305 hasOpenAccess W2919513305 @default.
• W2919513305 hasPrimaryLocation W29195133051 @default.
• W2919513305 hasRelatedWork W1525546443 @default.
• W2919513305 hasRelatedWork W1735035297 @default.
• W2919513305 hasRelatedWork W1963127161 @default.
• W2919513305 hasRelatedWork W2009721064 @default.

• next