Imperative Process Algebra with Abstraction.
- Published in:
- Scientific Annals of Computer Science, 2022, v. 32, n. 1, p. 137, doi. 10.7561/SACS.2022.1.137
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2022 AND VI 32 AND IP 1
Results: 5
1
2
Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem.
- Published in:
- Scientific Annals of Computer Science, 2022, v. 32, n. 1, p. 109, doi. 10.7561/SACS.2022.1.109
- By:
- Publication type:
- Article
3
Reflections on a Scientific Journal.
- Published in:
- Scientific Annals of Computer Science, 2022, v. 32, n. 1, p. 1, doi. 10.7561/SACS.2022.1.1
- By:
- Publication type:
- Article
4
Which Arithmetical Data Types Admit Fracterm Flattening?
- Published in:
- Scientific Annals of Computer Science, 2022, v. 32, n. 1, p. 87, doi. 10.7561/SACS.2022.1.87
- By:
- Publication type:
- Article
5
A Survey of Testing for Instruction Sequence Theory.
- Published in:
- Scientific Annals of Computer Science, 2022, v. 32, n. 1, p. 5, doi. 10.7561/SACS.2022.1.5
- By:
- Publication type:
- Article