Nonfinite axiomatizability of the equational theory of shuffle.
- Published in:
- Acta Informatica, 1998, v. 35, n. 6, p. 505
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 1998 AND VI 35 AND IP 6
Results: 4
1
2
Consistent records in asynchronous computations.
- Published in:
- Acta Informatica, 1998, v. 35, n. 6, p. 441, doi. 10.1007/s002360050127
- By:
- Publication type:
- Article
3
A logic-based approach to program flow analysis.
- Published in:
- Acta Informatica, 1998, v. 35, n. 6, p. 457, doi. 10.1007/s002360050128
- By:
- Publication type:
- Article
4
Erratum: Acta Informatica (1997) 34: 905-925.
- Published in:
- Acta Informatica, 1998, v. 35, n. 6, p. 541, doi. 10.1007/s002360050130
- Publication type:
- Article