Results: 5
Adding inclusion dependencies to an object-oriented data model with uniqueness constraints.
- Published in:
- Acta Informatica, 2003, v. 39, n. 6/7, p. 391, doi. 10.1007/s00236-003-0115-x
- By:
- Publication type:
- Article
A word on 7 letters which is non-repetitive up to mod 5.
- Published in:
- Acta Informatica, 2003, v. 39, n. 6/7, p. 451, doi. 10.1007/s00236-003-0110-2
- By:
- Publication type:
- Article
Strong bisimilarity of simple process algebras: complexity lower bounds.
- Published in:
- Acta Informatica, 2003, v. 39, n. 6/7, p. 469, doi. 10.1007/s00236-003-0116-9
- By:
- Publication type:
- Article
Structural operational semantics and bounded nondeterminism.
- Published in:
- Acta Informatica, 2003, v. 39, n. 6/7, p. 501, doi. 10.1007/s00236-003-0111-1
- By:
- Publication type:
- Article
Networks of evolutionary processors.
- Published in:
- Acta Informatica, 2003, v. 39, n. 6/7, p. 517, doi. 10.1007/s00236-003-0114-y
- By:
- Publication type:
- Article