Found: 6
Select item for more details and to access through your institution.
BINARY RELATIONS AND ALGEBRAS ON MULTISETS.
- Published in:
- Publications de l'Institut Mathématique, 2014, v. 95, n. 109, p. 111, doi. 10.2298/PIM1409111G
- By:
- Publication type:
- Article
INTERSECTION TYPES FOR λ<sup>Gtz</sup>-CALCULUS.
- Published in:
- Publications de l'Institut Mathématique, 2007, n. 96, p. 85, doi. 10.2298/PIM0796085G
- By:
- Publication type:
- Article
Federating Digital Contact Tracing using Structured Overlay Networks.
- Published in:
- Computer Science & Information Systems, 2022, v. 19, n. 3, p. 1261, doi. 10.2298/CSIS210825029G
- By:
- Publication type:
- Article
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1567, doi. 10.1093/logcom/exaa055
- By:
- Publication type:
- Article
Linked data privacy.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 1, p. 33, doi. 10.1017/S096012951500002X
- By:
- Publication type:
- Article
Encoding of Multilevel S-Threshold Functions.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2016, v. 26, n. 1-2, p. 89
- By:
- Publication type:
- Article