Matches in SemOpenAlex for { <https://semopenalex.org/work/W1444202976> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1444202976 abstract "It is shown that PDL remains decidable when we allow as programs regular expressions over a finite alphabet as well as over the single context free program A‡B‡ = {AiBi | i ≥ 0}. The decision algorithm constructs a finite push-down model for all satisfiable PDL RG(A‡B‡) formulas. Generalization to additional context free programs whose addition does not destroy decidability is discussed." @default.
- W1444202976 created "2016-06-24" @default.
- W1444202976 creator A5012426575 @default.
- W1444202976 creator A5078214635 @default.
- W1444202976 date "1984-01-01" @default.
- W1444202976 modified "2023-10-02" @default.
- W1444202976 title "There exist decidable context free propositonal dynamic logics" @default.
- W1444202976 cites W2068106852 @default.
- W1444202976 cites W2069709605 @default.
- W1444202976 doi "https://doi.org/10.1007/3-540-12896-4_369" @default.
- W1444202976 hasPublicationYear "1984" @default.
- W1444202976 type Work @default.
- W1444202976 sameAs 1444202976 @default.
- W1444202976 citedByCount "7" @default.
- W1444202976 countsByYear W14442029762023 @default.
- W1444202976 crossrefType "book-chapter" @default.
- W1444202976 hasAuthorship W1444202976A5012426575 @default.
- W1444202976 hasAuthorship W1444202976A5078214635 @default.
- W1444202976 hasConcept C112876837 @default.
- W1444202976 hasConcept C11413529 @default.
- W1444202976 hasConcept C118615104 @default.
- W1444202976 hasConcept C134306372 @default.
- W1444202976 hasConcept C138885662 @default.
- W1444202976 hasConcept C151730666 @default.
- W1444202976 hasConcept C153269930 @default.
- W1444202976 hasConcept C177148314 @default.
- W1444202976 hasConcept C2779343474 @default.
- W1444202976 hasConcept C33923547 @default.
- W1444202976 hasConcept C41008148 @default.
- W1444202976 hasConcept C41895202 @default.
- W1444202976 hasConcept C80444323 @default.
- W1444202976 hasConcept C86803240 @default.
- W1444202976 hasConceptScore W1444202976C112876837 @default.
- W1444202976 hasConceptScore W1444202976C11413529 @default.
- W1444202976 hasConceptScore W1444202976C118615104 @default.
- W1444202976 hasConceptScore W1444202976C134306372 @default.
- W1444202976 hasConceptScore W1444202976C138885662 @default.
- W1444202976 hasConceptScore W1444202976C151730666 @default.
- W1444202976 hasConceptScore W1444202976C153269930 @default.
- W1444202976 hasConceptScore W1444202976C177148314 @default.
- W1444202976 hasConceptScore W1444202976C2779343474 @default.
- W1444202976 hasConceptScore W1444202976C33923547 @default.
- W1444202976 hasConceptScore W1444202976C41008148 @default.
- W1444202976 hasConceptScore W1444202976C41895202 @default.
- W1444202976 hasConceptScore W1444202976C80444323 @default.
- W1444202976 hasConceptScore W1444202976C86803240 @default.
- W1444202976 hasLocation W14442029761 @default.
- W1444202976 hasOpenAccess W1444202976 @default.
- W1444202976 hasPrimaryLocation W14442029761 @default.
- W1444202976 hasRelatedWork W128496866 @default.
- W1444202976 hasRelatedWork W1485651606 @default.
- W1444202976 hasRelatedWork W1500396617 @default.
- W1444202976 hasRelatedWork W1503624459 @default.
- W1444202976 hasRelatedWork W1562818191 @default.
- W1444202976 hasRelatedWork W1594261562 @default.
- W1444202976 hasRelatedWork W1804899877 @default.
- W1444202976 hasRelatedWork W1974572624 @default.
- W1444202976 hasRelatedWork W2024742941 @default.
- W1444202976 hasRelatedWork W2042546332 @default.
- W1444202976 hasRelatedWork W2057559629 @default.
- W1444202976 hasRelatedWork W2121408865 @default.
- W1444202976 hasRelatedWork W2138649076 @default.
- W1444202976 hasRelatedWork W2182252111 @default.
- W1444202976 hasRelatedWork W2281681012 @default.
- W1444202976 hasRelatedWork W2541894000 @default.
- W1444202976 hasRelatedWork W2618109676 @default.
- W1444202976 hasRelatedWork W2995466559 @default.
- W1444202976 hasRelatedWork W3014120279 @default.
- W1444202976 hasRelatedWork W183414335 @default.
- W1444202976 isParatext "false" @default.
- W1444202976 isRetracted "false" @default.
- W1444202976 magId "1444202976" @default.
- W1444202976 workType "book-chapter" @default.