×

Found 29 Documents (Results 1–29)

Constraint satisfaction problems for reducts of homogeneous graphs. (English) Zbl 1388.68102

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 119, 14 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

The complexity of counting quantifiers on equality languages. (English) Zbl 1476.68113

Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9709, 333-342 (2016).
MSC:  68Q25 03B70
PDFBibTeX XMLCite
Full Text: DOI Link

Climate change scenarios for Hungary based on numerical simulations with a dynamical climate model. (English) Zbl 1280.86010

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 7th international conference, LSSC 2009, Sozopol, Bulgaria, June 4–8, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-12534-8/pbk). Lecture Notes in Computer Science 5910, 613-620 (2010).
MSC:  86A10 65C20 86A32
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

Software