Synthesizing State-Based Object Systems from LSC Specifications.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 1, p. 5, doi. 10.1142/S0129054102000935
- By:
- Publication type:
- Article
Works matching IS 01290541 AND DT 2002 AND VI 13 AND IP 1
Results: 8
1
2
Vector Algorithms for Approximate String Matching.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 1, p. 53, doi. 10.1142/S0129054102000947
- By:
- Publication type:
- Article
3
The Regularity of Two-Way Nondeterministic Tree Automata Languages.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 1, p. 67
- By:
- Publication type:
- Article
4
An Efficient Algorithm for Constructing Minimal Cover Automata for finite Languages.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 1, p. 83, doi. 10.1142/S0129054102000960
- By:
- Publication type:
- Article
5
Evaluation of Three Implicit Structures to Implement Nondeterministic Automata from Regular Expressions.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 1, p. 99, doi. 10.1142/S0129054102000972
- By:
- Publication type:
- Article
6
Verification in Queue-Connected Multicounter Machines.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 1, p. 115, doi. 10.1142/S0129054102000984
- By:
- Publication type:
- Article
7
Generic ε-Removal and Input ε-Normalization Algorithms for Weighted Transducers.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 1, p. 129, doi. 10.1142/S0129054102000996
- By:
- Publication type:
- Article
8
Unary Language Operations, State Complexity and Jacobsthal's Function.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 1, p. 145, doi. 10.1142/S012905410200100X
- By:
- Publication type:
- Article