×

Found 6 Documents (Results 1–6)

100
MathJax

Coinduction all the way up. (English) Zbl 1394.68352

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 307-316 (2016).
MSC:  68T15 03B35 06B23 68N30
PDF BibTeX XML Cite
Full Text: DOI HAL

The asymptotic behavior of nonoscillatory solutions of some nonlinear differential equations. (English) Zbl 0967.34044

PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification

Software