Erratum: The Complexity of Satisfiability for Fragments of CTL and CTL<sup>⋆</sup>.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 8, p. 1189, doi. 10.1142/S012905411592001X
- By:
- Publication type:
- Article
Works matching IS 01290541 AND DT 2015 AND VI 26 AND IP 8
Results: 10
1
2
The Finite Index Restriction Meets Hybrid Modes in Cooperating Distributed Grammar Systems.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 8, p. 1167, doi. 10.1142/S0129054115400171
- By:
- Publication type:
- Article
3
From Finite Automata to Regular Expressions and Back - A Summary on Descriptional Complexity.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 8, p. 1009, doi. 10.1142/S0129054115400110
- By:
- Publication type:
- Article
4
Optimal Bounds for the Similarity Density of the Thue-Morse Word with Overlap-Free and -Power-Free Infinite Binary Words.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 8, p. 1147, doi. 10.1142/S012905411540016X
- By:
- Publication type:
- Article
5
Author Index Volume 26 (2015).
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 8, p. 1191, doi. 10.1142/S0129054115990014
- Publication type:
- Article
6
Returning Parallel Communicating Finite Automata with Communication Bounds: Hierarchies, Decidabilities, and Undecidabilities.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 8, p. 1101, doi. 10.1142/S0129054115400146
- By:
- Publication type:
- Article
7
Preface.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 8, p. 1007, doi. 10.1142/S0129054115020025
- By:
- Publication type:
- Article
8
Simplification Problems for Deterministic Pushdown Automata on Infinite Words.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 8, p. 1041, doi. 10.1142/S0129054115400122
- By:
- Publication type:
- Article
9
On Determinism and Unambiguity of Weighted Two-Way Automata.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 8, p. 1127, doi. 10.1142/S0129054115400158
- By:
- Publication type:
- Article
10
A Survey on Decidable Equivalence Problems for Tree Transducers.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 8, p. 1069, doi. 10.1142/S0129054115400134
- By:
- Publication type:
- Article