Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity.
- Published in:
- Acta Informatica, 2021, v. 58, n. 1/2, p. 95, doi. 10.1007/s00236-019-00360-8
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2021 AND VI 58 AND IP 1/2
Results: 4
1
2
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system.
- Published in:
- Acta Informatica, 2021, v. 58, n. 1/2, p. 57, doi. 10.1007/s00236-019-00357-3
- By:
- Publication type:
- Article
3
Subsequence versus substring constraints in sequence pattern languages.
- Published in:
- Acta Informatica, 2021, v. 58, n. 1/2, p. 35, doi. 10.1007/s00236-019-00347-5
- By:
- Publication type:
- Article
4
Static versus dynamic reversibility in CCS.
- Published in:
- Acta Informatica, 2021, v. 58, n. 1/2, p. 1, doi. 10.1007/s00236-019-00346-6
- By:
- Publication type:
- Article