Converting untyped formulas to typed ones.
- Published in:
- Acta Informatica, 1998, v. 35, n. 8, p. 637, doi. 10.1007/s002360050135
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 1998 AND VI 35 AND IP 8
Results: 6
1
2
Bi-catenation and shuffle product of languages.
- Published in:
- Acta Informatica, 1998, v. 35, n. 8, p. 689, doi. 10.1007/s002360050139
- By:
- Publication type:
- Article
3
d-Words and d-languages.
- Published in:
- Acta Informatica, 1998, v. 35, n. 8, p. 709, doi. 10.1007/s002360050140
- By:
- Publication type:
- Article
4
Polytime model checking for timed probabilistic computation tree logic.
- Published in:
- Acta Informatica, 1998, v. 35, n. 8, p. 645, doi. 10.1007/s002360050136
- By:
- Publication type:
- Article
5
On a relation between uniform coding and problems of the form DTIME...
- Published in:
- Acta Informatica, 1998, v. 35, n. 8, p. 665, doi. 10.1007/s002360050137
- By:
- Publication type:
- Article
6
Priority conflict-free Petri nets.
- Published in:
- Acta Informatica, 1998, v. 35, n. 8, p. 673, doi. 10.1007/s002360050138
- By:
- Publication type:
- Article