No. Title Author Year
1 A Universal Ordinary Differential Equation Bournez, Olivier et al. 2017
2 Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem Fijalkow, NathanaŽl et al. 2017
3 Model Checking Flat Freeze LTL on One-Counter Automata Lechner, Antonia et al. 2016
4 Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length: The General Purpose Analog Computer and Computable Analysis Are Two Efficiently Equivalent Models of Computations Bournez, Olivier et al. 2016
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint Published by LZI