Generalising KAT to Verify Weighted Computations.
- Published in:
- Scientific Annals of Computer Science, 2019, v. 29, n. 2, p. 141
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2019 AND VI 29 AND IP 2
Results: 2
1
2
Program Algebra for Turing-Machine Programs.
- Published in:
- Scientific Annals of Computer Science, 2019, v. 29, n. 2, p. 113
- By:
- Publication type:
- Article