Results: 4
Prefix-primitive annihilators of languages under some operations.
- Published in:
- Acta Informatica, 2012, v. 49, n. 5, p. 281, doi. 10.1007/s00236-012-0159-x
- By:
- Publication type:
- Article
An algorithmic study of switch graphs.
- Published in:
- Acta Informatica, 2012, v. 49, n. 5, p. 295, doi. 10.1007/s00236-012-0160-4
- By:
- Publication type:
- Article
Abstract reduction in directed model checking CCS processes.
- Published in:
- Acta Informatica, 2012, v. 49, n. 5, p. 313, doi. 10.1007/s00236-012-0161-3
- By:
- Publication type:
- Article
Algebras for iteration and infinite computations.
- Published in:
- Acta Informatica, 2012, v. 49, n. 5, p. 343, doi. 10.1007/s00236-012-0162-2
- By:
- Publication type:
- Article