A ``geometric'' view of the dynamics of trajectories of computer programs (Q1813776)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A ``geometric view of the dynamics of trajectories of computer programs |
scientific article; zbMATH DE number 5065
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A ``geometric'' view of the dynamics of trajectories of computer programs |
scientific article; zbMATH DE number 5065 |
Statements
A ``geometric'' view of the dynamics of trajectories of computer programs (English)
0 references
25 June 1992
0 references
geometric theory of computation
0 references
temporal logic
0 references
logic of programs
0 references
feedback
0 references
control systems
0 references
computer algorithms
0 references
path geometry
0 references
prolongations
0 references
categories
0 references
Lyapunov theory
0 references
dynamical system
0 references
fiber bundle differential geometry
0 references
partial difference equations
0 references
0.8356925
0 references
0 references
0 references
0 references
