Titlebook: Mathematical Foundations of Computer Science 2014; 39th International S Erzsébet Csuhaj-Varjú,Martin Dietzfelbinger,Zoltán Conference proce

離開就切除

六邊形

Partial-Observation Stochastic Reachability and Parity Gameslassified as follows: (a)?general partial-observation (both players have partial view of the game); (b)?one-sided partial-observation (one player has partial-observation and the other player has complete-observation); and (c)??perfect-observation (both players have complete view of the game). The on

書法

缺乏

Communication Complexity Theory: Thirty-Five Years of Set Disjointnesstive is to determine with minimal communication whether the . subsets have nonempty intersection. The important special case .?=?2 corresponds to two parties trying to determine whether their respective sets intersect. The study of the set disjointness problem spans almost four decades and offers a

否認

拋射物

chastise

Sofic-Dyck Shiftsifts is a particular class of shifts of sequences whose finite factors are unambiguous context-free languages. We show that it corresponds exactly to shifts of sequences whose set of factors is a visibly pushdown language. We give an expression of the zeta function of a sofic-Dyck shift which has a

PURG

滔滔不絕地說

Asymptotic Monadic Second-Order Logicbject of study is Asymptotic Monadic Second-Order Logic over infinite words. This is a logic talking about .-words labelled by integers. It contains full monadic second-order logic and can express asymptotic properties of integers labellings..We also introduce several variants of this logic and inve

粉筆

Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rulesles has been recently settled. It has been shown that the problem is very hard, namely 2.-complete, even for fixed sets of rules expressed in lightweight formalisms. This gives rise to the question whether its complexity can be reduced by restricting the query language. Several subclasses of conjunc