Lifting non-finite axiomatizability results to extensions of process algebras.
- Published in:
- Acta Informatica, 2010, v. 47, n. 3, p. 147, doi. 10.1007/s00236-010-0114-7
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2010 AND VI 47 AND IP 3
Results: 2
1
2
LR error repair using the A* algorithm.
- Published in:
- Acta Informatica, 2010, v. 47, n. 3, p. 179, doi. 10.1007/s00236-010-0115-6
- By:
- Publication type:
- Article