Works matching IS 09601295 AND DT 2020 AND VI 30 AND IP 1
Results: 5
Monoidal-closed categories of tree automata.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 1, p. 62, doi. 10.1017/S0960129519000173
- By:
- Publication type:
- Article
Noncommutative network models.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 1, p. 14, doi. 10.1017/S0960129519000161
- By:
- Publication type:
- Article
A representation of proper BC domains based on conjunctive sequent calculi.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 1, p. 1, doi. 10.1017/S096012951900015X
- By:
- Publication type:
- Article
Primitive recursion in the abstract.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 1, p. 33, doi. 10.1017/S0960129519000112
- By:
- Publication type:
- Article
A channel-based perspective on conjugate priors.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 1, p. 44, doi. 10.1017/S0960129519000082
- By:
- Publication type:
- Article