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
Works matching IS 00015903 AND DT 2012 AND VI 49 AND IP 5
Results: 4
1
2
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
3
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
4
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