Matches in SemOpenAlex for { <https://semopenalex.org/work/W1546022948> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1546022948 endingPage "448" @default.
- W1546022948 startingPage "439" @default.
- W1546022948 abstract "In this paper, we propose a translation procedure of PLTL (LTL with past modalities) formulas to Büchi automata using two-way very-weak alternating automata (2VWAA) as an intermiediary step. Our main result is an efficient translation of 2VWAA to generalized Büchi automata (GBA)." @default.
- W1546022948 created "2016-06-24" @default.
- W1546022948 creator A5054947427 @default.
- W1546022948 creator A5064833291 @default.
- W1546022948 date "2003-01-01" @default.
- W1546022948 modified "2023-10-01" @default.
- W1546022948 title "LTL with Past and Two-Way Very-Weak Alternating Automata" @default.
- W1546022948 cites W1258654203 @default.
- W1546022948 cites W1491593738 @default.
- W1546022948 cites W1498781683 @default.
- W1546022948 cites W1506588809 @default.
- W1546022948 cites W1546022948 @default.
- W1546022948 cites W1602995535 @default.
- W1546022948 cites W1990609140 @default.
- W1546022948 cites W1998387957 @default.
- W1546022948 cites W2003227046 @default.
- W1546022948 cites W2023808162 @default.
- W1546022948 cites W2089003125 @default.
- W1546022948 cites W2103146530 @default.
- W1546022948 cites W2124876285 @default.
- W1546022948 cites W2157319504 @default.
- W1546022948 doi "https://doi.org/10.1007/978-3-540-45138-9_38" @default.
- W1546022948 hasPublicationYear "2003" @default.
- W1546022948 type Work @default.
- W1546022948 sameAs 1546022948 @default.
- W1546022948 citedByCount "40" @default.
- W1546022948 countsByYear W15460229482012 @default.
- W1546022948 countsByYear W15460229482013 @default.
- W1546022948 countsByYear W15460229482014 @default.
- W1546022948 countsByYear W15460229482018 @default.
- W1546022948 countsByYear W15460229482021 @default.
- W1546022948 countsByYear W15460229482023 @default.
- W1546022948 crossrefType "book-chapter" @default.
- W1546022948 hasAuthorship W1546022948A5054947427 @default.
- W1546022948 hasAuthorship W1546022948A5064833291 @default.
- W1546022948 hasConcept C104317684 @default.
- W1546022948 hasConcept C105580179 @default.
- W1546022948 hasConcept C112505250 @default.
- W1546022948 hasConcept C118615104 @default.
- W1546022948 hasConcept C144024400 @default.
- W1546022948 hasConcept C149364088 @default.
- W1546022948 hasConcept C2779903281 @default.
- W1546022948 hasConcept C33923547 @default.
- W1546022948 hasConcept C36289849 @default.
- W1546022948 hasConcept C41008148 @default.
- W1546022948 hasConcept C55493867 @default.
- W1546022948 hasConcept C80444323 @default.
- W1546022948 hasConcept C86803240 @default.
- W1546022948 hasConceptScore W1546022948C104317684 @default.
- W1546022948 hasConceptScore W1546022948C105580179 @default.
- W1546022948 hasConceptScore W1546022948C112505250 @default.
- W1546022948 hasConceptScore W1546022948C118615104 @default.
- W1546022948 hasConceptScore W1546022948C144024400 @default.
- W1546022948 hasConceptScore W1546022948C149364088 @default.
- W1546022948 hasConceptScore W1546022948C2779903281 @default.
- W1546022948 hasConceptScore W1546022948C33923547 @default.
- W1546022948 hasConceptScore W1546022948C36289849 @default.
- W1546022948 hasConceptScore W1546022948C41008148 @default.
- W1546022948 hasConceptScore W1546022948C55493867 @default.
- W1546022948 hasConceptScore W1546022948C80444323 @default.
- W1546022948 hasConceptScore W1546022948C86803240 @default.
- W1546022948 hasLocation W15460229481 @default.
- W1546022948 hasOpenAccess W1546022948 @default.
- W1546022948 hasPrimaryLocation W15460229481 @default.
- W1546022948 hasRelatedWork W153904579 @default.
- W1546022948 hasRelatedWork W2047802234 @default.
- W1546022948 hasRelatedWork W2313858059 @default.
- W1546022948 hasRelatedWork W2325436751 @default.
- W1546022948 hasRelatedWork W2330733397 @default.
- W1546022948 hasRelatedWork W2368796975 @default.
- W1546022948 hasRelatedWork W2509777158 @default.
- W1546022948 hasRelatedWork W2740942814 @default.
- W1546022948 hasRelatedWork W2602338684 @default.
- W1546022948 hasRelatedWork W2751931981 @default.
- W1546022948 isParatext "false" @default.
- W1546022948 isRetracted "false" @default.
- W1546022948 magId "1546022948" @default.
- W1546022948 workType "book-chapter" @default.