Titlebook: Reachability Problems; 15th International C Paul C. Bell,Patrick Totzke,Igor Potapov Conference proceedings 2021 Springer Nature Switzerlan

细节

Recent Advances on Reachability Problems for Valence Systems (Invited Talk)dels, the storage mechanism is not fixed, but given as a parameter. This allows us to precisely state questions like: For which storage mechanisms is the reachability problem decidable?.This survey reports on recent results that aim to understand the impact of the storage mechanism on decidability a

Extort

GUISE

几何学家

慢跑

Absent Subsequences in Wordson and define absent subsequences: a string . is an absent subsequence of a string . if . does not occur as subsequence (a.k.a. scattered factor) inside .. Of particular interest to us are minimal absent subsequences, i.e., absent subsequences whose every subsequence is not absent, and shortest abse

完成

Minimal Number of Calls in Propositional Protocolsret, the goal of a protocol is to reach a situation in which all agents are experts, i.e., know all secrets. Distributed epistemic gossip protocols use epistemic formulas in the component programs for the agents. In this paper, we investigate in-depth one of the simplest classes of such gossip proto