Infinitary rewriting: closure operators, equivalences and models.
- Published in:
- Acta Informatica, 2013, v. 50, n. 2, p. 123, doi. 10.1007/s00236-012-0174-y
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2013 AND VI 50 AND IP 2
Results: 2
1
2
Compositional type checking of delta-oriented software product lines.
- Published in:
- Acta Informatica, 2013, v. 50, n. 2, p. 77, doi. 10.1007/s00236-012-0173-z
- By:
- Publication type:
- Article