Works matching IS 00015903 AND DT 2016 AND VI 53 AND IP 5
Results: 4
Concurrent abstract state machines.
- Published in:
- Acta Informatica, 2016, v. 53, n. 5, p. 469, doi. 10.1007/s00236-015-0249-7
- By:
- Publication type:
- Article
A linear-time algorithm for the orbit problem over cyclic groups.
- Published in:
- Acta Informatica, 2016, v. 53, n. 5, p. 493, doi. 10.1007/s00236-015-0251-0
- By:
- Publication type:
- Article
On reversible Turing machines and their function universality.
- Published in:
- Acta Informatica, 2016, v. 53, n. 5, p. 509, doi. 10.1007/s00236-015-0253-y
- By:
- Publication type:
- Article
Optimal covers in the relational database model.
- Published in:
- Acta Informatica, 2016, v. 53, n. 5, p. 459, doi. 10.1007/s00236-015-0247-9
- By:
- Publication type:
- Article