Works matching IS 09601295 AND DT 2016 AND VI 26 AND IP 5
Results: 5
The undecidability theorem for the Horn-like ((fragment of linear logic (Revisited).
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 5, p. 719, doi. 10.1017/S0960129516000049
- By:
- Publication type:
- Article
Relating reasoning methodologies in linear logic and process algebra.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 5, p. 868, doi. 10.1017/S0960129514000413
- By:
- Publication type:
- Article
On the reification of semantic linearity.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 5, p. 829, doi. 10.1017/S0960129514000401
- By:
- Publication type:
- Article
Proof nets and semi-star-autonomous categories.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 5, p. 789, doi. 10.1017/S0960129514000395
- By:
- Publication type:
- Article
Encoding hybridized institutions into first-order logic.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 5, p. 745, doi. 10.1017/S0960129514000383
- By:
- Publication type:
- Article