Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings


$106.16 $109.99 Save 3% Current price is $106.16, Original price is $109.99. You Save 3%.
Choose Expedited Shipping at checkout for guaranteed delivery by Thursday, March 28

Product Details

ISBN-13: 9783319049205
Publisher: Springer International Publishing
Publication date: 01/28/2014
Series: Lecture Notes in Computer Science , #8370
Edition description: 2014
Pages: 614
Product dimensions: 6.10(w) x 9.25(h) x 0.05(d)

Table of Contents

A Brief History of Strahler Numbers.-On the Parikh Membership Problem for FAs, PDAs, and CMs.-Matchings, Random Walks, and Sampling.- Interprocedural Information Flow Analysis of XML Processors.-Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata.-Formulae for Polyominoes on Twisted Cylinders.-Picture Codes with Finite Deciphering Delay.-Networks of Polarized Evolutionary Processors Are Computationally Complete.-Two Double-Exponential Gaps for Automata with a Limited Pushdown.-Covering Pairs in Directed Acyclic Graphs.-Efficient List-Based Computation of the String Subsequence Kernel.-Channel Synthesis Revisited.-Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets.-Computing Depths of Patterns.-Solving Equations on Words with Morphisms and Antimorphisms.-On the Arithmetics of Discrete Figures.-On the List Update Problem with Advice.-Shift-Reduce Parsers for Transition Networks.-Optimal Sorting Networks.-Satisfiability for MTL and TPTL over Non-monotonic Data Words.-(k,l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization.-Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms.-Succinct Encodings of Graph Isomorphism.-Extremal Combinatorics of Reaction Systems.-Stochastic k-Tree Grammar and Its Application in Biomolecular Structure Modeling.-Weighted Automata and Logics for Infinite Nested Words.-Algebraic Tools for the Overlapping Tile Product.-Reachability Analysis with State-Compatible Automata.-Counting Models of Linear-Time Temporal Logic.-ω-rational Languages: High Complexity Classes vs. Borel Hierarchy.-On Context-Diverse Repeats and Their Incremental Computation.-Ordered Counter-Abstraction: Refinable Subword Relations for Parameterized Verification.-On SAT Representations of XOR Constraints.-Minimal Triangulation Algorithms for Perfect Phylogeny Problems.-On Computability and Learnability of the Pumping Lemma Function.-Interval Temporal Logic Semantics of Box Algebra.-Are Good-for-Games Automata Good for Probabilistic Model Checking.-Top-Down Tree Edit-Distance of Regular Tree Languages.-DFA with a Bounded Activity Level.-Learning Sequential Tree-to-Word Transducers.-Probabilistic Simulation for Probabilistic Data-Aware Business Processes.-Expressiveness of Dynamic Networks of Timed Petri Nets.-Distinguishing Pattern Languages with Membership Examples.-Extended Two-Way Ordered Restarting Automata for Picture Languages.-Weight-Reducing Hennie Machines and Their Descriptional Complexity.-Computing with Catalan Families.-Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata.-Probabilistic ω-Regular Expressions.-On the State Complexity of Semi-quantum Finite Automata.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews