Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551169644> ?p ?o ?g. }
- W1551169644 endingPage "46" @default.
- W1551169644 startingPage "32" @default.
- W1551169644 created "2016-06-24" @default.
- W1551169644 creator A5062756065 @default.
- W1551169644 creator A5071279186 @default.
- W1551169644 creator A5088219777 @default.
- W1551169644 date "2007-10-06" @default.
- W1551169644 modified "2023-09-25" @default.
- W1551169644 title "One-Pass Tableaux for Computation Tree Logic" @default.
- W1551169644 cites W1506588809 @default.
- W1551169644 cites W1520364276 @default.
- W1551169644 cites W1527982431 @default.
- W1551169644 cites W1602995535 @default.
- W1551169644 cites W1650701334 @default.
- W1551169644 cites W1983538726 @default.
- W1551169644 cites W2033071128 @default.
- W1551169644 cites W2065463946 @default.
- W1551169644 cites W2067441543 @default.
- W1551169644 cites W2068815633 @default.
- W1551169644 cites W2084910510 @default.
- W1551169644 cites W2087735141 @default.
- W1551169644 cites W2126755595 @default.
- W1551169644 cites W2131225255 @default.
- W1551169644 cites W2177921372 @default.
- W1551169644 cites W2806619258 @default.
- W1551169644 cites W1871326816 @default.
- W1551169644 doi "https://doi.org/10.1007/978-3-540-75560-9_5" @default.
- W1551169644 hasPublicationYear "2007" @default.
- W1551169644 type Work @default.
- W1551169644 sameAs 1551169644 @default.
- W1551169644 citedByCount "15" @default.
- W1551169644 countsByYear W15511696442012 @default.
- W1551169644 countsByYear W15511696442013 @default.
- W1551169644 countsByYear W15511696442014 @default.
- W1551169644 crossrefType "book-chapter" @default.
- W1551169644 hasAuthorship W1551169644A5062756065 @default.
- W1551169644 hasAuthorship W1551169644A5071279186 @default.
- W1551169644 hasAuthorship W1551169644A5088219777 @default.
- W1551169644 hasConcept C102993220 @default.
- W1551169644 hasConcept C110251889 @default.
- W1551169644 hasConcept C113174947 @default.
- W1551169644 hasConcept C11413529 @default.
- W1551169644 hasConcept C114614502 @default.
- W1551169644 hasConcept C118615104 @default.
- W1551169644 hasConcept C147969180 @default.
- W1551169644 hasConcept C154317977 @default.
- W1551169644 hasConcept C154945302 @default.
- W1551169644 hasConcept C159985019 @default.
- W1551169644 hasConcept C168773769 @default.
- W1551169644 hasConcept C179799912 @default.
- W1551169644 hasConcept C185592680 @default.
- W1551169644 hasConcept C192562407 @default.
- W1551169644 hasConcept C197685441 @default.
- W1551169644 hasConcept C198008173 @default.
- W1551169644 hasConcept C202751555 @default.
- W1551169644 hasConcept C206175624 @default.
- W1551169644 hasConcept C25016198 @default.
- W1551169644 hasConcept C33923547 @default.
- W1551169644 hasConcept C41008148 @default.
- W1551169644 hasConcept C42011625 @default.
- W1551169644 hasConcept C4777664 @default.
- W1551169644 hasConcept C5263885 @default.
- W1551169644 hasConcept C55493867 @default.
- W1551169644 hasConcept C56049555 @default.
- W1551169644 hasConcept C58166 @default.
- W1551169644 hasConcept C80444323 @default.
- W1551169644 hasConcept C86602344 @default.
- W1551169644 hasConceptScore W1551169644C102993220 @default.
- W1551169644 hasConceptScore W1551169644C110251889 @default.
- W1551169644 hasConceptScore W1551169644C113174947 @default.
- W1551169644 hasConceptScore W1551169644C11413529 @default.
- W1551169644 hasConceptScore W1551169644C114614502 @default.
- W1551169644 hasConceptScore W1551169644C118615104 @default.
- W1551169644 hasConceptScore W1551169644C147969180 @default.
- W1551169644 hasConceptScore W1551169644C154317977 @default.
- W1551169644 hasConceptScore W1551169644C154945302 @default.
- W1551169644 hasConceptScore W1551169644C159985019 @default.
- W1551169644 hasConceptScore W1551169644C168773769 @default.
- W1551169644 hasConceptScore W1551169644C179799912 @default.
- W1551169644 hasConceptScore W1551169644C185592680 @default.
- W1551169644 hasConceptScore W1551169644C192562407 @default.
- W1551169644 hasConceptScore W1551169644C197685441 @default.
- W1551169644 hasConceptScore W1551169644C198008173 @default.
- W1551169644 hasConceptScore W1551169644C202751555 @default.
- W1551169644 hasConceptScore W1551169644C206175624 @default.
- W1551169644 hasConceptScore W1551169644C25016198 @default.
- W1551169644 hasConceptScore W1551169644C33923547 @default.
- W1551169644 hasConceptScore W1551169644C41008148 @default.
- W1551169644 hasConceptScore W1551169644C42011625 @default.
- W1551169644 hasConceptScore W1551169644C4777664 @default.
- W1551169644 hasConceptScore W1551169644C5263885 @default.
- W1551169644 hasConceptScore W1551169644C55493867 @default.
- W1551169644 hasConceptScore W1551169644C56049555 @default.
- W1551169644 hasConceptScore W1551169644C58166 @default.
- W1551169644 hasConceptScore W1551169644C80444323 @default.
- W1551169644 hasConceptScore W1551169644C86602344 @default.
- W1551169644 hasLocation W15511696441 @default.
- W1551169644 hasOpenAccess W1551169644 @default.
- W1551169644 hasPrimaryLocation W15511696441 @default.
- W1551169644 hasRelatedWork W1546948343 @default.