×

Found 513 Documents (Results 1–100)

100
MathJax

Quantifier free definability on infinite algebras. (English) Zbl 1394.03059

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). 730-738 (2016).
MSC:  03C57 03C07 03C40
PDF BibTeX XML Cite
Full Text: DOI

Limit theorems for horocycle flows. (English) Zbl 1375.37101

Dolgopyat, Dmitry (ed.) et al., Hyperbolic dynamics, fluctuations and large deviations. Special semester on hyperbolic dynamics, large deviations and fluctuations, January – June 2013, Centre Interfacultaire Bernoulli, École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1112-1/hbk; 978-1-4704-2266-0/ebook). Proceedings of Symposia in Pure Mathematics 89, 121-160 (2015).
PDF BibTeX XML Cite
Full Text: DOI Link

Ehrenfeucht-Fraïssé games on omega-terms. (English) Zbl 1359.03013

Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 374-385 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software