Works matching IS 09601295 AND DT 2019 AND VI 29 AND IP 2
Results: 4
Semantics-based software watermarking by abstract interpretation.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 2, p. 339, doi. 10.1017/S0960129518000038
- By:
- Publication type:
- Article
Nonflatness and totality.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 2, p. 309, doi. 10.1017/S0960129518000026
- By:
- Publication type:
- Article
Integral categories and calculus categories.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 2, p. 243, doi. 10.1017/S0960129518000014
- By:
- Publication type:
- Article
On Banach spaces of sequences and free linear logic exponential modality.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 2, p. 215, doi. 10.1017/S0960129517000251
- By:
- Publication type:
- Article