Found: 6
Select item for more details and to access through your institution.
RULE FORMATS FOR NOMINAL PROCESS CALCULI.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:2)2019
- By:
- Publication type:
- Article
ON THE ENUMERATION OF CLOSURES AND ENVIRONMENTS WITH AN APPLICATION TO RANDOM GENERATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:3)2019
- By:
- Publication type:
- Article
ON FREE ω-CONTINUOUS AND REGULAR ORDERED ALGEBRAS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:4)2019
- By:
- Publication type:
- Article
ψ1 AND THE MODAL μ-CALCULUS: In memory of Zoltán Ésik.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:1)2019
- By:
- Publication type:
- Article
SCALAR AND VECTORIAL μ-CALCULUS WITH ATOMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:5)2019
- By:
- Publication type:
- Article
ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:6)2019
- By:
- Publication type:
- Article