Computer Science - Theory and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319066851, 9783319066868

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Lattice of Definability. Origins, Recent Developments, and Further Directions

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06686-8_3 ◽

2014 ◽

pp. 23-38

Author(s):

Alexei Semenov ◽

Sergey Soprunov ◽

Vladimir Uspensky

Keyword(s):

Recent Developments

Download Full-text

Vertex Disjoint Paths in Upward Planar Graphs

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06686-8_5 ◽

2014 ◽

pp. 52-64 ◽

Author(s):

Saeed Akhoondian Amiri ◽

Ali Golshani ◽

Stephan Kreutzer ◽

Sebastian Siebertz

Keyword(s):

Planar Graphs ◽

Disjoint Paths ◽

Vertex Disjoint

Download Full-text

First-Order Logic on CPDA Graphs

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06686-8_23 ◽

2014 ◽

pp. 300-313

Author(s):

Paweł Parys

Keyword(s):

Order Logic ◽

First Order Logic ◽

Download Full-text

Processing Succinct Matrices and Vectors

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06686-8_19 ◽

2014 ◽

pp. 245-258

Author(s):

Markus Lohrey ◽

Manfred Schmidt-Schauß

Download Full-text

Model Checking for String Problems

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06686-8_15 ◽

2014 ◽

pp. 190-203

Author(s):

Milka Hutagalung ◽

Martin Lange

Keyword(s):

Model Checking ◽

String Problems

Download Full-text

Testing Low Degree Trigonometric Polynomials

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06686-8_7 ◽

2014 ◽

pp. 77-96 ◽

Author(s):

Martijn Baartse ◽

Klaus Meer

Keyword(s):

Trigonometric Polynomials ◽

Download Full-text

Space Saving by Dynamic Algebraization

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06686-8_29 ◽

2014 ◽

pp. 375-388 ◽

Author(s):

Martin Fürer ◽

Huiwen Yu

Keyword(s):

Download Full-text

Primal Implication as Encryption

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06686-8_18 ◽

2014 ◽

pp. 232-244

Author(s):

Vladimir N. Krupski

Download Full-text

Crossing-Free Spanning Trees in Visibility Graphs of Points between Monotone Polygonal Obstacles

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06686-8_26 ◽

2014 ◽

pp. 337-350

Author(s):

Julia Schüler ◽

Andreas Spillner

Keyword(s):

Spanning Trees ◽

Visibility Graphs

Download Full-text

Counting Popular Matchings in House Allocation Problems

Computer Science - Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06686-8_4 ◽

2014 ◽

pp. 39-51 ◽

Author(s):

Rupam Acharyya ◽

Sourav Chakraborty ◽

Nitesh Jha

Keyword(s):

House Allocation ◽

Allocation Problems

Download Full-text