Items related to Computer Science -- Theory and Applications: 10th Internatio...

Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings - Softcover

 
9783319202983: Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Softcover
ISBN 10: 3319202987 ISBN 13: 9783319202983
Publisher: Springer, 2015

This specific ISBN edition is currently not available.

Synopsis

Propositional Proofs in Frege and Extended Frege Systems.- Circuit Complexity Meets Ontology-Based Data Access.- NEXP-Completeness and Universal Hardness Results for Justification Logic.- A Combinatorial Algorithm for the Planar Multi flow Problem with Demands Located on Three Holes.- Generalized LR Parsing for Grammars with Contexts.- On Compiling Structured CNFs to OBDDs.- Satisfiability of ECTL* with Tree Constraints.- On Growth and Fluctuation of k-Abelian Complexity.- A Polynomial-Time Algorithm for Outerplanar Diameter Improvement.- Editing to a Planar Graph of Given Degrees.- On the Satisfiability of Quantum Circuits of Small Treewidth.- Equations over Free Inverse Monoids with Idempotent Variables.- A Logical Characterization of Timed Pushdown Languages.- An In-place Priority Queue with O(1) Time for Push and lg n + O(1) Comparisons for Pop.- Resolution Complexity of Perfect Matching Principles for Sparse Graphs.- Operations on Self-verifying Finite Automata.- Automath Type Inclusion in Barendregt's Cube.- Circuit Lower Bounds for Average-Case MA.- Making Randomness Public in Unbounded-Round Information Complexity.- First-Order Logic Definability of Free Languages.- Representation of (Left) Ideal Regular Languages by Synchronizing Automata.- Some Properties of Antistochastic Strings.- Approximation and Exact Algorithms for Special Cases of Connected f-Factors.- Rewriting Higher-Order Stack Trees.- Interacting with Modal Logics in the Coq Proof Assistant.- Delay Games with WMSOžU Winning Conditions.- Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems.

"synopsis" may belong to another edition of this title.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319202969: Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, ... Computer Science and General Issues)

Featured Edition

ISBN 10:  3319202960 ISBN 13:  9783319202969
Publisher: Springer, 2015
Softcover