Well-posedness and stability results for nonlinear abstract evolution equations with time delays
- 期刊名称Journal of Evolution Equations
- 作者Nicaise, Serge; Pignotti, Cristina
- 印刷ISSN1424-3199
- 电子ISSN1424-3202
- 文件大小550.43KB
- 发表时间2018-2-22
- DOI10.1007/s00028-018-0427-5
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Improving Dependency PairsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Disproving False ConjecturesVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Congruence Closure with Integer OffsetsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Automatic Structures of Bounded DegreeVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Is Cantor’s Theorem Automatic?Vardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Minimizing Automata on Infinite WordsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || A Machine-Verified Code GeneratorVardi, Moshe Y.; Voronkov, Andrei · 2003