Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149070078> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2149070078 abstract "textabstractIn this paper, we develop a theory of computable types suitable for the study of dynamic systems in discrete and continuous time. The theory uses type-two effectivity as the underlying computational model, but we quickly develop a type system which can be manipulated abstractly, but for which all allowable operations are guaranteed to be computable. We apply the theory to the study of differential inclusions, reachable sets and controllability." @default.
- W2149070078 created "2016-06-24" @default.
- W2149070078 creator A5019902087 @default.
- W2149070078 creator A5057944065 @default.
- W2149070078 creator A5058986525 @default.
- W2149070078 creator A5059289409 @default.
- W2149070078 date "2009-01-01" @default.
- W2149070078 modified "2023-09-23" @default.
- W2149070078 title "Computable Types for Dynamic Systems" @default.
- W2149070078 cites W104853290 @default.
- W2149070078 cites W1525647423 @default.
- W2149070078 cites W1594900487 @default.
- W2149070078 cites W174262937 @default.
- W2149070078 cites W2000436552 @default.
- W2149070078 cites W2007946452 @default.
- W2149070078 cites W2025592951 @default.
- W2149070078 cites W2027931514 @default.
- W2149070078 cites W2028018907 @default.
- W2149070078 cites W2058984211 @default.
- W2149070078 cites W2061635347 @default.
- W2149070078 cites W2069246348 @default.
- W2149070078 cites W2077769760 @default.
- W2149070078 cites W2113700085 @default.
- W2149070078 cites W2127480384 @default.
- W2149070078 cites W2144688759 @default.
- W2149070078 cites W2322118446 @default.
- W2149070078 cites W2611511037 @default.
- W2149070078 hasPublicationYear "2009" @default.
- W2149070078 type Work @default.
- W2149070078 sameAs 2149070078 @default.
- W2149070078 citedByCount "3" @default.
- W2149070078 countsByYear W21490700782014 @default.
- W2149070078 crossrefType "journal-article" @default.
- W2149070078 hasAuthorship W2149070078A5019902087 @default.
- W2149070078 hasAuthorship W2149070078A5057944065 @default.
- W2149070078 hasAuthorship W2149070078A5058986525 @default.
- W2149070078 hasAuthorship W2149070078A5059289409 @default.
- W2149070078 hasConcept C11413529 @default.
- W2149070078 hasConcept C126255220 @default.
- W2149070078 hasConcept C127413603 @default.
- W2149070078 hasConcept C146978453 @default.
- W2149070078 hasConcept C18903297 @default.
- W2149070078 hasConcept C27318111 @default.
- W2149070078 hasConcept C2777299769 @default.
- W2149070078 hasConcept C28826006 @default.
- W2149070078 hasConcept C33923547 @default.
- W2149070078 hasConcept C41008148 @default.
- W2149070078 hasConcept C48209547 @default.
- W2149070078 hasConcept C54271186 @default.
- W2149070078 hasConcept C70834904 @default.
- W2149070078 hasConcept C80444323 @default.
- W2149070078 hasConcept C86803240 @default.
- W2149070078 hasConcept C93226319 @default.
- W2149070078 hasConcept C93682546 @default.
- W2149070078 hasConceptScore W2149070078C11413529 @default.
- W2149070078 hasConceptScore W2149070078C126255220 @default.
- W2149070078 hasConceptScore W2149070078C127413603 @default.
- W2149070078 hasConceptScore W2149070078C146978453 @default.
- W2149070078 hasConceptScore W2149070078C18903297 @default.
- W2149070078 hasConceptScore W2149070078C27318111 @default.
- W2149070078 hasConceptScore W2149070078C2777299769 @default.
- W2149070078 hasConceptScore W2149070078C28826006 @default.
- W2149070078 hasConceptScore W2149070078C33923547 @default.
- W2149070078 hasConceptScore W2149070078C41008148 @default.
- W2149070078 hasConceptScore W2149070078C48209547 @default.
- W2149070078 hasConceptScore W2149070078C54271186 @default.
- W2149070078 hasConceptScore W2149070078C70834904 @default.
- W2149070078 hasConceptScore W2149070078C80444323 @default.
- W2149070078 hasConceptScore W2149070078C86803240 @default.
- W2149070078 hasConceptScore W2149070078C93226319 @default.
- W2149070078 hasConceptScore W2149070078C93682546 @default.
- W2149070078 hasLocation W21490700781 @default.
- W2149070078 hasOpenAccess W2149070078 @default.
- W2149070078 hasPrimaryLocation W21490700781 @default.
- W2149070078 hasRelatedWork W1523452604 @default.
- W2149070078 hasRelatedWork W1576494527 @default.
- W2149070078 hasRelatedWork W1581049311 @default.
- W2149070078 hasRelatedWork W1604596197 @default.
- W2149070078 hasRelatedWork W1856550587 @default.
- W2149070078 hasRelatedWork W196021901 @default.
- W2149070078 hasRelatedWork W1997101486 @default.
- W2149070078 hasRelatedWork W2011979623 @default.
- W2149070078 hasRelatedWork W2123357397 @default.
- W2149070078 hasRelatedWork W2130578594 @default.
- W2149070078 hasRelatedWork W2138097774 @default.
- W2149070078 hasRelatedWork W2144513304 @default.
- W2149070078 hasRelatedWork W2147929694 @default.
- W2149070078 hasRelatedWork W2171295160 @default.
- W2149070078 hasRelatedWork W2570298408 @default.
- W2149070078 hasRelatedWork W2979419513 @default.
- W2149070078 hasRelatedWork W3134254972 @default.
- W2149070078 hasRelatedWork W32608640 @default.
- W2149070078 hasRelatedWork W747567354 @default.
- W2149070078 hasRelatedWork W805330449 @default.
- W2149070078 isParatext "false" @default.
- W2149070078 isRetracted "false" @default.
- W2149070078 magId "2149070078" @default.
- W2149070078 workType "article" @default.