Filter your results
- 2
- 2
- 2
- 2
- 2
- 2
- 1
2 results
|
|
sorted by
|
|
Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.225-244, ⟨10.1007/978-3-662-44124-4_13⟩
Conference papers
hal-01408762v1
|
||
|
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.211-224, ⟨10.1007/978-3-662-44124-4_12⟩
Conference papers
hal-01408761v1
|