FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 805, doi. 10.1142/S0129054115400018
- By:
- Publication type:
- Article
Works matching IS 01290541 AND DT 2015 AND VI 26 AND IP 7
Results: 11
1
2
Investigations on Automata and Languages Over a Unary Alphabet.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 827, doi. 10.1142/S012905411540002X
- By:
- Publication type:
- Article
3
Preface.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 803, doi. 10.1142/S0129054115020013
- By:
- Publication type:
- Article
4
The Power of Weighted Regularity-Preserving Multi Bottom-Up Tree Transducers.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 987, doi. 10.1142/S0129054115400109
- By:
- Publication type:
- Article
5
Bounded Prefix-Suffix Duplication: Language Theoretic and Algorithmic Results.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 933, doi. 10.1142/S0129054115400079
- By:
- Publication type:
- Article
6
Reset Thresholds of Automata with Two Cycle Lengths.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 953, doi. 10.1142/S0129054115400080
- By:
- Publication type:
- Article
7
Large Aperiodic Semigroups.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 913, doi. 10.1142/S0129054115400067
- By:
- Publication type:
- Article
8
On the Number of Linear Finite Transducers.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 873, doi. 10.1142/S0129054115400043
- By:
- Publication type:
- Article
9
The Computational Paradigm of Cellular Automata in Crowd Evacuation.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 851, doi. 10.1142/S0129054115400031
- By:
- Publication type:
- Article
10
On the Ambiguity and Finite-Valuedness Problems in Acceptors and Transducers.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 967, doi. 10.1142/S0129054115400092
- By:
- Publication type:
- Article
11
On the Power of One-Way Automata with Quantum and Classical States.
- Published in:
- International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 895, doi. 10.1142/S0129054115400055
- By:
- Publication type:
- Article