77 citations · 145 across the 23 of their papers we have counts for
3 papers · 1 filter
Finite-type-Dyck shift spaces
Marie-Pierre Béal, Michel Blockelet, Cǎtǎlin Dima
We study some basic properties of sofic-Dyck shifts and finite-type-Dyck shifts. We prove that the class of sofic-Dyck shifts is stable under proper conjugacies. We prove a Decompo…
Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics
Rodica Bozianu, Catalin Dima, Constantin Enea
We identify a subproblem of the model-checking problem for the epistemic μ-calculus which is decidable. Formulas in the instances of this subproblem allow free variables within the…
Sofic-Dyck shifts
Marie-Pierre Béal, Michel Blockelet, Cǎtǎlin Dima
We define the class of sofic-Dyck shifts which extends the class of Markov-Dyck shifts introduced by Inoue, Krieger and Matsumoto. Sofic-Dyck shifts are shifts of sequences whose f…