FRINK Linked Data Fragments server

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

• W4313229213 endingPage "38" @default.
• W4313229213 startingPage "21" @default.
• W4313229213 abstract "We survey the state of the art on the algorithmic analysis of discrete linear dynamical systems, focussing in particular on reachability, model-checking, and invariant-generation questions, both unconditionally as well as relative to oracles for the Skolem Problem." @default.
• W4313229213 created "2023-01-06" @default.
• W4313229213 creator A5029487091 @default.
• W4313229213 creator A5045412407 @default.
• W4313229213 creator A5068165188 @default.
• W4313229213 creator A5073041170 @default.
• W4313229213 date "2022-01-01" @default.
• W4313229213 modified "2023-10-18" @default.
• W4313229213 title "What’s Decidable About Discrete Linear Dynamical Systems?" @default.
• W4313229213 cites W1498335665 @default.
• W4313229213 cites W1505135855 @default.
• W4313229213 cites W1530375435 @default.
• W4313229213 cites W1549008998 @default.
• W4313229213 cites W1561261246 @default.
• W4313229213 cites W1575647584 @default.
• W4313229213 cites W1592840252 @default.
• W4313229213 cites W162901799 @default.
• W4313229213 cites W1797219784 @default.
• W4313229213 cites W1822440022 @default.
• W4313229213 cites W1864094877 @default.
• W4313229213 cites W1983764301 @default.
• W4313229213 cites W1991004801 @default.
• W4313229213 cites W1996102424 @default.
• W4313229213 cites W2021112905 @default.
• W4313229213 cites W2031633647 @default.
• W4313229213 cites W2034774429 @default.
• W4313229213 cites W2038157046 @default.
• W4313229213 cites W2062077910 @default.
• W4313229213 cites W2062651539 @default.
• W4313229213 cites W2121365859 @default.
• W4313229213 cites W2124909257 @default.
• W4313229213 cites W2162052349 @default.
• W4313229213 cites W2209422068 @default.
• W4313229213 cites W2585298200 @default.
• W4313229213 cites W2605065382 @default.
• W4313229213 cites W2953344520 @default.
• W4313229213 cites W2963416205 @default.
• W4313229213 cites W2963754540 @default.
• W4313229213 cites W2963938058 @default.
• W4313229213 cites W2981410213 @default.
• W4313229213 cites W3014334551 @default.
• W4313229213 cites W3116230937 @default.
• W4313229213 cites W3165146722 @default.
• W4313229213 cites W4205250428 @default.
• W4313229213 cites W4205709417 @default.
• W4313229213 cites W4247052524 @default.
• W4313229213 cites W4248689402 @default.
• W4313229213 cites W4289856130 @default.
• W4313229213 cites W4293399521 @default.
• W4313229213 cites W55887128 @default.
• W4313229213 doi "https://doi.org/10.1007/978-3-031-22337-2_2" @default.
• W4313229213 hasPublicationYear "2022" @default.
• W4313229213 type Work @default.
• W4313229213 citedByCount "3" @default.
• W4313229213 countsByYear W43132292132023 @default.
• W4313229213 crossrefType "book-chapter" @default.
• W4313229213 hasAuthorship W4313229213A5029487091 @default.
• W4313229213 hasAuthorship W4313229213A5045412407 @default.
• W4313229213 hasAuthorship W4313229213A5068165188 @default.
• W4313229213 hasAuthorship W4313229213A5073041170 @default.
• W4313229213 hasBestOaLocation W43132292132 @default.
• W4313229213 hasConcept C110251889 @default.
• W4313229213 hasConcept C11413529 @default.
• W4313229213 hasConcept C118615104 @default.
• W4313229213 hasConcept C121332964 @default.
• W4313229213 hasConcept C136643341 @default.
• W4313229213 hasConcept C153269930 @default.
• W4313229213 hasConcept C190470478 @default.
• W4313229213 hasConcept C2777669093 @default.
• W4313229213 hasConcept C33923547 @default.
• W4313229213 hasConcept C37914503 @default.
• W4313229213 hasConcept C41008148 @default.
• W4313229213 hasConcept C48103436 @default.
• W4313229213 hasConcept C62520636 @default.
• W4313229213 hasConcept C79379906 @default.
• W4313229213 hasConcept C80444323 @default.
• W4313229213 hasConceptScore W4313229213C110251889 @default.
• W4313229213 hasConceptScore W4313229213C11413529 @default.
• W4313229213 hasConceptScore W4313229213C118615104 @default.
• W4313229213 hasConceptScore W4313229213C121332964 @default.
• W4313229213 hasConceptScore W4313229213C136643341 @default.
• W4313229213 hasConceptScore W4313229213C153269930 @default.
• W4313229213 hasConceptScore W4313229213C190470478 @default.
• W4313229213 hasConceptScore W4313229213C2777669093 @default.
• W4313229213 hasConceptScore W4313229213C33923547 @default.
• W4313229213 hasConceptScore W4313229213C37914503 @default.
• W4313229213 hasConceptScore W4313229213C41008148 @default.
• W4313229213 hasConceptScore W4313229213C48103436 @default.
• W4313229213 hasConceptScore W4313229213C62520636 @default.
• W4313229213 hasConceptScore W4313229213C79379906 @default.
• W4313229213 hasConceptScore W4313229213C80444323 @default.
• W4313229213 hasLocation W43132292131 @default.
• W4313229213 hasLocation W43132292132 @default.
• W4313229213 hasOpenAccess W4313229213 @default.
• W4313229213 hasPrimaryLocation W43132292131 @default.
• W4313229213 hasRelatedWork W2047831585 @default.
• W4313229213 hasRelatedWork W2145835888 @default.
• W4313229213 hasRelatedWork W2296248291 @default.

• next