Recommendations
- scientific article; zbMATH DE number 4023921
- Convergence from divergence
- A limiting case for the divergence equation
- Divergence
- Asymptotic Divergences and Strong Dichotomy
- Asymptotic Divergences and Strong Dichotomy.
- scientific article; zbMATH DE number 1095755
- The Divergence Theorem
- scientific article; zbMATH DE number 2028711
- scientific article; zbMATH DE number 5018723
Cites work
- scientific article; zbMATH DE number 3956423 (Why is no real title available?)
- scientific article; zbMATH DE number 4050970 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 3222145 (Why is no real title available?)
- scientific article; zbMATH DE number 3234211 (Why is no real title available?)
- A brief history of Timed CSP
- A calculus of durations
- Decidability of mean value calculus
- Hybrid systems
Cited in
(10)- A duration calculus with infinite intervals
- A limiting case for the divergence equation
- Metric temporal reasoning with less than two clocks
- Automata on linear orderings
- A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS
- Duration calculus: Logical foundations
- Quantitative temporal logics over the reals: PSpace and below
- Convergence from divergence
- REASONING ABOUT TRANSFINITE SEQUENCES
- Timed substitutions for regular signal-event languages
This page was built for publication: Finite divergence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673876)
