Shuffle Expressions and Words with Nested Data 1st Edition by Henrik Bjorklund, Mikolaj Bojanczyk ISBN 9783540744566

Shuffle Expressions and Words with Nested Data 1st Edition by Henrik Bjorklund, Mikolaj Bojanczyk – Ebook PDF Instant Download/Delivery. 9783540744566
Full download Shuffle Expressions and Words with Nested Data 1st Edition after payment

Product details:

ISBN 10: 
ISBN 13: 9783540744566
Author: Henrik Bjorklund, Mikolaj Bojanczyk

In this paper, we develop a theory that studies words with nested data values with the help of shuffle expressions. We study two cases, which we call “ordered” and “unordered”. In the unordered case, we show that emptiness (of the two related problems) is decidable. In the ordered case, we prove undecidability. As a proof vehicle for the latter, we introduce the notion of higher-order multicounter automata.

Shuffle Expressions and Words with Nested Data 1st Table of contents:

1 Introduction
2 A Logic for Words with Nested Data
3 Shuffle expressions
4 Ordered shuffle expressions
5 Unordered shuffle expressions

People also search for Shuffle Expressions and Words with Nested Data 1st:

    
shuffle expressions and words with nested data
    
nested expressions
    
shuffle-and-replicate nested loop join
    
shuffle example
    
shuffle nested loop join