Works matching IS 18605974 AND DT 2018 AND VI 14 AND IP 2
Results: 5
A CATEGORICAL APPROACH TO SYNTACTIC MONOIDS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:9)2018
- By:
- Publication type:
- Article
UNIQUENESS OF DIRECTED COMPLETE POSETS BASED ON SCOTT CLOSED SET LATTICES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:10)2018
- By:
- Publication type:
- Article
THE LANGUAGE OF STRATIFIED SETS IS CONFLUENT AND STRONGLY NORMALISING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:12)2018
- By:
- Publication type:
- Article
A DICHOTOMY FOR FIRST-ORDER REDUCTS OF UNARY STRUCTURES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:13)2018
- By:
- Publication type:
- Article
WEIHRAUCH-COMPLETENESS FOR LAYERWISE COMPUTABILITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:11)2018
- By:
- Publication type:
- Article