Works matching IS 00015903 AND DT 2013 AND VI 50 AND IP 5/6
Results: 3
New proof for the undecidability of the circular PCP.
- Published in:
- Acta Informatica, 2013, v. 50, n. 5/6, p. 331, doi. 10.1007/s00236-013-0183-5
- By:
- Publication type:
- Article
A distributed resource allocation algorithm for many processes.
- Published in:
- Acta Informatica, 2013, v. 50, n. 5/6, p. 297, doi. 10.1007/s00236-013-0181-7
- By:
- Publication type:
- Article
Online multi-coloring on the path revisited.
- Published in:
- Acta Informatica, 2013, v. 50, n. 5/6, p. 343, doi. 10.1007/s00236-013-0184-4
- By:
- Publication type:
- Article