FRINK Linked Data Fragments server

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

• W1810796502 endingPage "491" @default.
• W1810796502 startingPage "476" @default.
• W1810796502 abstract "We investigate various classes of alternating automata for visibly pushdown languages (VPL) over infinite words. First, we show that alternating visibly pushdown automata (AVPA) are exactly as expressive as their nondeterministic counterpart (NVPA) but basic decision problems for AVPA are 2Exptime-complete. Due to this high complexity, we introduce a new class of alternating automata called alternating jump automata (AJA). AJA extend classical alternating finite-state automata over infinite words by also allowing non-local moves. A non-local forward move leads a copy of the automaton from a call input position to the matching-return position. We also allow local and non-local backward moves. We show that one-way AJA and two-way AJA have the same expressiveness and capture exactly the class of VPL. Moreover, boolean operations for AJA are easy and basic decision problems such as emptiness, universality, and pushdown model-checking for parity two-way AJA are Exptime-complete. Finally, we consider a linear-time fixpoint calculus which subsumes the full linear-time μ-calculus (with both forward and backward modalities) and the logic CaRet and captures exactly the class of VPL. We show that formulas of this logic can be linearly translated into parity two-way AJA, and vice versa. As a consequence satisfiability and pushdown model checking for this logic are Exptime-complete.KeywordsModel CheckInput SymbolNest TreePushdown AutomatonCall PositionThese 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.
• W1810796502 created "2016-06-24" @default.
• W1810796502 creator A5086034910 @default.
• W1810796502 date "2007-08-18" @default.
• W1810796502 modified "2023-10-09" @default.
• W1810796502 title "Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages" @default.
• W1810796502 cites W1492682035 @default.
• W1810796502 cites W1556566737 @default.
• W1810796502 cites W1589224558 @default.
• W1810796502 cites W1691700263 @default.
• W1810796502 cites W1725438563 @default.
• W1810796502 cites W1996207810 @default.
• W1810796502 cites W2076284895 @default.
• W1810796502 cites W2114132089 @default.
• W1810796502 cites W2124876285 @default.
• W1810796502 cites W2135909702 @default.
• W1810796502 cites W260642817 @default.
• W1810796502 cites W4205877761 @default.
• W1810796502 doi "https://doi.org/10.1007/978-3-540-74407-8_32" @default.
• W1810796502 hasPublicationYear "2007" @default.
• W1810796502 type Work @default.
• W1810796502 sameAs 1810796502 @default.
• W1810796502 citedByCount "19" @default.
• W1810796502 countsByYear W18107965022012 @default.
• W1810796502 countsByYear W18107965022013 @default.
• W1810796502 countsByYear W18107965022014 @default.
• W1810796502 countsByYear W18107965022015 @default.
• W1810796502 countsByYear W18107965022016 @default.
• W1810796502 countsByYear W18107965022017 @default.
• W1810796502 countsByYear W18107965022021 @default.
• W1810796502 countsByYear W18107965022023 @default.
• W1810796502 crossrefType "book-chapter" @default.
• W1810796502 hasAuthorship W1810796502A5086034910 @default.
• W1810796502 hasConcept C110251889 @default.
• W1810796502 hasConcept C112505250 @default.
• W1810796502 hasConcept C11413529 @default.
• W1810796502 hasConcept C116248031 @default.
• W1810796502 hasConcept C118615104 @default.
• W1810796502 hasConcept C134083981 @default.
• W1810796502 hasConcept C158008952 @default.
• W1810796502 hasConcept C168773769 @default.
• W1810796502 hasConcept C174327141 @default.
• W1810796502 hasConcept C176181172 @default.
• W1810796502 hasConcept C179799912 @default.
• W1810796502 hasConcept C186644900 @default.
• W1810796502 hasConcept C197685441 @default.
• W1810796502 hasConcept C199360897 @default.
• W1810796502 hasConcept C25016198 @default.
• W1810796502 hasConcept C27034413 @default.
• W1810796502 hasConcept C33923547 @default.
• W1810796502 hasConcept C41008148 @default.
• W1810796502 hasConcept C4777664 @default.
• W1810796502 hasConcept C56049555 @default.
• W1810796502 hasConcept C74919329 @default.
• W1810796502 hasConcept C77944639 @default.
• W1810796502 hasConcept C80444323 @default.
• W1810796502 hasConcept C92117001 @default.
• W1810796502 hasConcept C97212296 @default.
• W1810796502 hasConceptScore W1810796502C110251889 @default.
• W1810796502 hasConceptScore W1810796502C112505250 @default.
• W1810796502 hasConceptScore W1810796502C11413529 @default.
• W1810796502 hasConceptScore W1810796502C116248031 @default.
• W1810796502 hasConceptScore W1810796502C118615104 @default.
• W1810796502 hasConceptScore W1810796502C134083981 @default.
• W1810796502 hasConceptScore W1810796502C158008952 @default.
• W1810796502 hasConceptScore W1810796502C168773769 @default.
• W1810796502 hasConceptScore W1810796502C174327141 @default.
• W1810796502 hasConceptScore W1810796502C176181172 @default.
• W1810796502 hasConceptScore W1810796502C179799912 @default.
• W1810796502 hasConceptScore W1810796502C186644900 @default.
• W1810796502 hasConceptScore W1810796502C197685441 @default.
• W1810796502 hasConceptScore W1810796502C199360897 @default.
• W1810796502 hasConceptScore W1810796502C25016198 @default.
• W1810796502 hasConceptScore W1810796502C27034413 @default.
• W1810796502 hasConceptScore W1810796502C33923547 @default.
• W1810796502 hasConceptScore W1810796502C41008148 @default.
• W1810796502 hasConceptScore W1810796502C4777664 @default.
• W1810796502 hasConceptScore W1810796502C56049555 @default.
• W1810796502 hasConceptScore W1810796502C74919329 @default.
• W1810796502 hasConceptScore W1810796502C77944639 @default.
• W1810796502 hasConceptScore W1810796502C80444323 @default.
• W1810796502 hasConceptScore W1810796502C92117001 @default.
• W1810796502 hasConceptScore W1810796502C97212296 @default.
• W1810796502 hasLocation W18107965021 @default.
• W1810796502 hasOpenAccess W1810796502 @default.
• W1810796502 hasPrimaryLocation W18107965021 @default.
• W1810796502 hasRelatedWork W1488316634 @default.
• W1810796502 hasRelatedWork W1585406291 @default.
• W1810796502 hasRelatedWork W1810796502 @default.
• W1810796502 hasRelatedWork W1891022440 @default.
• W1810796502 hasRelatedWork W2002663600 @default.
• W1810796502 hasRelatedWork W2064514470 @default.
• W1810796502 hasRelatedWork W2087431796 @default.
• W1810796502 hasRelatedWork W3133052492 @default.
• W1810796502 hasRelatedWork W4307896660 @default.
• W1810796502 hasRelatedWork W2801848061 @default.
• W1810796502 isParatext "false" @default.
• W1810796502 isRetracted "false" @default.

• next