FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1557475033> ?p ?o ?g. }

• W1557475033 abstract "We provide an effective characterization of the until-since hierarchy of linear temporal logic, that is, we show how to compute for a given temporal property the minimal nesting depth in until and since required to express it. This settles the most prominent classification problem for linear temporal logic. Our characterization of the individual levels of the until-since hierarchy is algebraic: for each n, we present a decidable class of finite semigroups and show that a temporal property is expressible with nesting depth at most n if and only if the syntactic semigroup of the formal language associated with the property belongs to the class provided. The core of our algebraic characterization is a new description of substitution in linear temporal logic in terms of block products of finite semigroups." @default.
• W1557475033 created "2016-06-24" @default.
• W1557475033 creator A5000703561 @default.
• W1557475033 creator A5084744032 @default.
• W1557475033 date "2002-01-01" @default.
• W1557475033 modified "2023-09-27" @default.
• W1557475033 title "Nesting Until and Since in Linear Temporal Logic" @default.
• W1557475033 cites W1600140231 @default.
• W1557475033 cites W1612453857 @default.
• W1557475033 cites W2023808162 @default.
• W1557475033 cites W2025713304 @default.
• W1557475033 cites W2026713735 @default.
• W1557475033 cites W2034847619 @default.
• W1557475033 cites W2038638040 @default.
• W1557475033 cites W2052706627 @default.
• W1557475033 cites W2063542447 @default.
• W1557475033 cites W2065599266 @default.
• W1557475033 cites W2086070079 @default.
• W1557475033 cites W2143084149 @default.
• W1557475033 cites W2146900994 @default.
• W1557475033 cites W2616686541 @default.
• W1557475033 cites W4231113774 @default.
• W1557475033 cites W4238309028 @default.
• W1557475033 doi "https://doi.org/10.1007/3-540-45841-7_37" @default.
• W1557475033 hasPublicationYear "2002" @default.
• W1557475033 type Work @default.
• W1557475033 sameAs 1557475033 @default.
• W1557475033 citedByCount "1" @default.
• W1557475033 crossrefType "book-chapter" @default.
• W1557475033 hasAuthorship W1557475033A5000703561 @default.
• W1557475033 hasAuthorship W1557475033A5084744032 @default.
• W1557475033 hasConcept C111472728 @default.
• W1557475033 hasConcept C11413529 @default.
• W1557475033 hasConcept C118615104 @default.
• W1557475033 hasConcept C134306372 @default.
• W1557475033 hasConcept C138885662 @default.
• W1557475033 hasConcept C153269930 @default.
• W1557475033 hasConcept C154945302 @default.
• W1557475033 hasConcept C162324750 @default.
• W1557475033 hasConcept C162670838 @default.
• W1557475033 hasConcept C171250308 @default.
• W1557475033 hasConcept C189950617 @default.
• W1557475033 hasConcept C191897082 @default.
• W1557475033 hasConcept C192562407 @default.
• W1557475033 hasConcept C198008173 @default.
• W1557475033 hasConcept C207405024 @default.
• W1557475033 hasConcept C25016198 @default.
• W1557475033 hasConcept C2524010 @default.
• W1557475033 hasConcept C2776937656 @default.
• W1557475033 hasConcept C2777210771 @default.
• W1557475033 hasConcept C2777212361 @default.
• W1557475033 hasConcept C2780841128 @default.
• W1557475033 hasConcept C31170391 @default.
• W1557475033 hasConcept C33923547 @default.
• W1557475033 hasConcept C34447519 @default.
• W1557475033 hasConcept C41008148 @default.
• W1557475033 hasConcept C4777664 @default.
• W1557475033 hasConcept C80444323 @default.
• W1557475033 hasConcept C9376300 @default.
• W1557475033 hasConceptScore W1557475033C111472728 @default.
• W1557475033 hasConceptScore W1557475033C11413529 @default.
• W1557475033 hasConceptScore W1557475033C118615104 @default.
• W1557475033 hasConceptScore W1557475033C134306372 @default.
• W1557475033 hasConceptScore W1557475033C138885662 @default.
• W1557475033 hasConceptScore W1557475033C153269930 @default.
• W1557475033 hasConceptScore W1557475033C154945302 @default.
• W1557475033 hasConceptScore W1557475033C162324750 @default.
• W1557475033 hasConceptScore W1557475033C162670838 @default.
• W1557475033 hasConceptScore W1557475033C171250308 @default.
• W1557475033 hasConceptScore W1557475033C189950617 @default.
• W1557475033 hasConceptScore W1557475033C191897082 @default.
• W1557475033 hasConceptScore W1557475033C192562407 @default.
• W1557475033 hasConceptScore W1557475033C198008173 @default.
• W1557475033 hasConceptScore W1557475033C207405024 @default.
• W1557475033 hasConceptScore W1557475033C25016198 @default.
• W1557475033 hasConceptScore W1557475033C2524010 @default.
• W1557475033 hasConceptScore W1557475033C2776937656 @default.
• W1557475033 hasConceptScore W1557475033C2777210771 @default.
• W1557475033 hasConceptScore W1557475033C2777212361 @default.
• W1557475033 hasConceptScore W1557475033C2780841128 @default.
• W1557475033 hasConceptScore W1557475033C31170391 @default.
• W1557475033 hasConceptScore W1557475033C33923547 @default.
• W1557475033 hasConceptScore W1557475033C34447519 @default.
• W1557475033 hasConceptScore W1557475033C41008148 @default.
• W1557475033 hasConceptScore W1557475033C4777664 @default.
• W1557475033 hasConceptScore W1557475033C80444323 @default.
• W1557475033 hasConceptScore W1557475033C9376300 @default.
• W1557475033 hasLocation W15574750331 @default.
• W1557475033 hasOpenAccess W1557475033 @default.
• W1557475033 hasPrimaryLocation W15574750331 @default.
• W1557475033 hasRelatedWork W1564846456 @default.
• W1557475033 hasRelatedWork W1565635845 @default.
• W1557475033 hasRelatedWork W1570464944 @default.
• W1557475033 hasRelatedWork W1604830998 @default.
• W1557475033 hasRelatedWork W1796835294 @default.
• W1557475033 hasRelatedWork W1957750398 @default.
• W1557475033 hasRelatedWork W2054860648 @default.
• W1557475033 hasRelatedWork W2065930159 @default.
• W1557475033 hasRelatedWork W2104238929 @default.
• W1557475033 hasRelatedWork W2110758029 @default.

• next