Matches in SemOpenAlex for { <https://semopenalex.org/work/W3004297923> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W3004297923 endingPage "83" @default.
- W3004297923 startingPage "67" @default.
- W3004297923 abstract "This article considers the temporal logic of the lexicographic products of unbounded dense linear orders and provides via mosaics a new proof of the membership in NP of the satisfiability problem it gives rise to." @default.
- W3004297923 created "2020-02-07" @default.
- W3004297923 creator A5043349795 @default.
- W3004297923 date "2020-01-01" @default.
- W3004297923 modified "2023-10-10" @default.
- W3004297923 title "About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability" @default.
- W3004297923 cites W1540385650 @default.
- W3004297923 cites W1771944222 @default.
- W3004297923 cites W1814968121 @default.
- W3004297923 cites W1875493920 @default.
- W3004297923 cites W1986094041 @default.
- W3004297923 cites W1988370352 @default.
- W3004297923 cites W2013165452 @default.
- W3004297923 cites W2013710386 @default.
- W3004297923 cites W2033347295 @default.
- W3004297923 cites W2040022302 @default.
- W3004297923 cites W2040575807 @default.
- W3004297923 cites W2066692146 @default.
- W3004297923 cites W2118324648 @default.
- W3004297923 cites W2133157344 @default.
- W3004297923 cites W2157319504 @default.
- W3004297923 cites W4253268390 @default.
- W3004297923 doi "https://doi.org/10.1007/978-981-15-1342-8_3" @default.
- W3004297923 hasPublicationYear "2020" @default.
- W3004297923 type Work @default.
- W3004297923 sameAs 3004297923 @default.
- W3004297923 citedByCount "0" @default.
- W3004297923 crossrefType "book-chapter" @default.
- W3004297923 hasAuthorship W3004297923A5043349795 @default.
- W3004297923 hasBestOaLocation W30042979232 @default.
- W3004297923 hasConcept C114614502 @default.
- W3004297923 hasConcept C118615104 @default.
- W3004297923 hasConcept C152062344 @default.
- W3004297923 hasConcept C159254197 @default.
- W3004297923 hasConcept C168773769 @default.
- W3004297923 hasConcept C33923547 @default.
- W3004297923 hasConcept C41008148 @default.
- W3004297923 hasConcept C80444323 @default.
- W3004297923 hasConceptScore W3004297923C114614502 @default.
- W3004297923 hasConceptScore W3004297923C118615104 @default.
- W3004297923 hasConceptScore W3004297923C152062344 @default.
- W3004297923 hasConceptScore W3004297923C159254197 @default.
- W3004297923 hasConceptScore W3004297923C168773769 @default.
- W3004297923 hasConceptScore W3004297923C33923547 @default.
- W3004297923 hasConceptScore W3004297923C41008148 @default.
- W3004297923 hasConceptScore W3004297923C80444323 @default.
- W3004297923 hasLocation W30042979231 @default.
- W3004297923 hasLocation W30042979232 @default.
- W3004297923 hasLocation W30042979233 @default.
- W3004297923 hasLocation W30042979234 @default.
- W3004297923 hasLocation W30042979235 @default.
- W3004297923 hasOpenAccess W3004297923 @default.
- W3004297923 hasPrimaryLocation W30042979231 @default.
- W3004297923 hasRelatedWork W1211082744 @default.
- W3004297923 hasRelatedWork W1782244868 @default.
- W3004297923 hasRelatedWork W1980884164 @default.
- W3004297923 hasRelatedWork W1993634787 @default.
- W3004297923 hasRelatedWork W2071065290 @default.
- W3004297923 hasRelatedWork W2952234674 @default.
- W3004297923 hasRelatedWork W3037419933 @default.
- W3004297923 hasRelatedWork W3125614403 @default.
- W3004297923 hasRelatedWork W4299809933 @default.
- W3004297923 hasRelatedWork W44982509 @default.
- W3004297923 isParatext "false" @default.
- W3004297923 isRetracted "false" @default.
- W3004297923 magId "3004297923" @default.
- W3004297923 workType "book-chapter" @default.