Works matching IS 00015903 AND DT 2019 AND VI 56 AND IP 7/8
Results: 3
Using contracted solution graphs for solving reconfiguration problems.
- Published in:
- Acta Informatica, 2019, v. 56, n. 7/8, p. 619, doi. 10.1007/s00236-019-00336-8
- By:
- Publication type:
- Article
Distributive laws for monotone specifications.
- Published in:
- Acta Informatica, 2019, v. 56, n. 7/8, p. 585, doi. 10.1007/s00236-019-00333-x
- By:
- Publication type:
- Article
Reversible sessions with flexible choices.
- Published in:
- Acta Informatica, 2019, v. 56, n. 7/8, p. 553, doi. 10.1007/s00236-019-00332-y
- By:
- Publication type:
- Article