Works matching IS 00015903 AND DT 2012 AND VI 49 AND IP 3
Results: 3
Least common container of tree pattern queries and its applications.
- Published in:
- Acta Informatica, 2012, v. 49, n. 3, p. 173, doi. 10.1007/s00236-012-0155-1
- By:
- Publication type:
- Article
Instruction sequence processing operators.
- Published in:
- Acta Informatica, 2012, v. 49, n. 3, p. 139, doi. 10.1007/s00236-012-0154-2
- By:
- Publication type:
- Article
'Backward' coinduction, Nash equilibrium and the rationality of escalation.
- Published in:
- Acta Informatica, 2012, v. 49, n. 3, p. 117, doi. 10.1007/s00236-012-0153-3
- By:
- Publication type:
- Article