Matches in SemOpenAlex for { <https://semopenalex.org/work/W3149985185> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3149985185 endingPage "301" @default.
- W3149985185 startingPage "287" @default.
- W3149985185 abstract "Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s. However, the tableaux for this logic do not look like traditional tree-shaped tableau systems and their processing is often quite complicated. In this paper, we introduce a novel style of tableau rule which supports a new simple traditional-style tree-shaped tableau for LTL. We prove that it is sound and complete. As well as being simple to understand, to introduce to students and to use, it is also simple to implement and is competitive against state of the art systems. It is particularly suitable for parallel implementations." @default.
- W3149985185 created "2021-04-13" @default.
- W3149985185 creator A5036930915 @default.
- W3149985185 date "2016-09-13" @default.
- W3149985185 modified "2023-09-25" @default.
- W3149985185 title "A New Rule for LTL Tableaux" @default.
- W3149985185 cites W1489391022 @default.
- W3149985185 cites W1497109150 @default.
- W3149985185 cites W1514845090 @default.
- W3149985185 cites W1527982431 @default.
- W3149985185 cites W1573354578 @default.
- W3149985185 cites W1602995535 @default.
- W3149985185 cites W1698862083 @default.
- W3149985185 cites W174127068 @default.
- W3149985185 cites W1810595877 @default.
- W3149985185 cites W182632105 @default.
- W3149985185 cites W1874611656 @default.
- W3149985185 cites W1990609140 @default.
- W3149985185 cites W2000138546 @default.
- W3149985185 cites W200763735 @default.
- W3149985185 cites W2009715290 @default.
- W3149985185 cites W2031157814 @default.
- W3149985185 cites W2032906824 @default.
- W3149985185 cites W2047456744 @default.
- W3149985185 cites W2112299772 @default.
- W3149985185 cites W2159191524 @default.
- W3149985185 cites W4233253115 @default.
- W3149985185 doi "https://doi.org/10.4204/eptcs.226.20" @default.
- W3149985185 hasPublicationYear "2016" @default.
- W3149985185 type Work @default.
- W3149985185 sameAs 3149985185 @default.
- W3149985185 citedByCount "11" @default.
- W3149985185 countsByYear W31499851852017 @default.
- W3149985185 countsByYear W31499851852018 @default.
- W3149985185 countsByYear W31499851852019 @default.
- W3149985185 countsByYear W31499851852020 @default.
- W3149985185 countsByYear W31499851852021 @default.
- W3149985185 crossrefType "journal-article" @default.
- W3149985185 hasAuthorship W3149985185A5036930915 @default.
- W3149985185 hasBestOaLocation W31499851851 @default.
- W3149985185 hasConcept C111472728 @default.
- W3149985185 hasConcept C113174947 @default.
- W3149985185 hasConcept C11413529 @default.
- W3149985185 hasConcept C114614502 @default.
- W3149985185 hasConcept C138885662 @default.
- W3149985185 hasConcept C168773769 @default.
- W3149985185 hasConcept C199360897 @default.
- W3149985185 hasConcept C25016198 @default.
- W3149985185 hasConcept C26713055 @default.
- W3149985185 hasConcept C2780586882 @default.
- W3149985185 hasConcept C33923547 @default.
- W3149985185 hasConcept C41008148 @default.
- W3149985185 hasConcept C4777664 @default.
- W3149985185 hasConcept C69562738 @default.
- W3149985185 hasConcept C80444323 @default.
- W3149985185 hasConceptScore W3149985185C111472728 @default.
- W3149985185 hasConceptScore W3149985185C113174947 @default.
- W3149985185 hasConceptScore W3149985185C11413529 @default.
- W3149985185 hasConceptScore W3149985185C114614502 @default.
- W3149985185 hasConceptScore W3149985185C138885662 @default.
- W3149985185 hasConceptScore W3149985185C168773769 @default.
- W3149985185 hasConceptScore W3149985185C199360897 @default.
- W3149985185 hasConceptScore W3149985185C25016198 @default.
- W3149985185 hasConceptScore W3149985185C26713055 @default.
- W3149985185 hasConceptScore W3149985185C2780586882 @default.
- W3149985185 hasConceptScore W3149985185C33923547 @default.
- W3149985185 hasConceptScore W3149985185C41008148 @default.
- W3149985185 hasConceptScore W3149985185C4777664 @default.
- W3149985185 hasConceptScore W3149985185C69562738 @default.
- W3149985185 hasConceptScore W3149985185C80444323 @default.
- W3149985185 hasLocation W31499851851 @default.
- W3149985185 hasLocation W31499851852 @default.
- W3149985185 hasLocation W31499851853 @default.
- W3149985185 hasOpenAccess W3149985185 @default.
- W3149985185 hasPrimaryLocation W31499851851 @default.
- W3149985185 hasRelatedWork W1546948343 @default.
- W3149985185 hasRelatedWork W1564865570 @default.
- W3149985185 hasRelatedWork W1849580669 @default.
- W3149985185 hasRelatedWork W2013878945 @default.
- W3149985185 hasRelatedWork W2104974242 @default.
- W3149985185 hasRelatedWork W2180648729 @default.
- W3149985185 hasRelatedWork W2560930356 @default.
- W3149985185 hasRelatedWork W4221159966 @default.
- W3149985185 hasRelatedWork W4235683855 @default.
- W3149985185 hasRelatedWork W4281961561 @default.
- W3149985185 hasVolume "226" @default.
- W3149985185 isParatext "false" @default.
- W3149985185 isRetracted "false" @default.
- W3149985185 magId "3149985185" @default.
- W3149985185 workType "article" @default.